{"push_id":550497946,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"842cec53bb8959d8af209c76a9232be800cdb729","before":"b2e14334ccfd13be0e558b989331d6e0cf95f560","commits":[{"sha":"842cec53bb8959d8af209c76a9232be800cdb729","author":{"email":"e1ccac100d0a1613f88d6fd0368db785a2a0fb75@cs.ucsd.edu","name":"Ranjit Jhala"},"message":"Looks like MBeaumont's code actually has the needed invariants","distinct":true,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/842cec53bb8959d8af209c76a9232be800cdb729"}]}