{"push_id":825642604,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"4f362ac85424e3958444ed6685b16911b7d8663e","before":"3e774f637040b651fb8779ad0c55451af73f5834","commits":[{"sha":"4f362ac85424e3958444ed6685b16911b7d8663e","author":{"email":"e1ccac100d0a1613f88d6fd0368db785a2a0fb75@cs.ucsd.edu","name":"Ranjit Jhala"},"message":"add separate INSTALL file","distinct":true,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/4f362ac85424e3958444ed6685b16911b7d8663e"}]}