{"push_id":756895848,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"edf040f3ac81ebbbd24c8babc7dd8809dcf16c9e","before":"b86e4bb0b3fb0d86c627f73456f935a8187c47f6","commits":[{"sha":"c3984a273bd1073c1f711b0a692dc789ada4b153","author":{"email":"e1ccac100d0a1613f88d6fd0368db785a2a0fb75@cs.ucsd.edu","name":"Ranjit Jhala"},"message":"issue","distinct":true,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/c3984a273bd1073c1f711b0a692dc789ada4b153"},{"sha":"edf040f3ac81ebbbd24c8babc7dd8809dcf16c9e","author":{"email":"e1ccac100d0a1613f88d6fd0368db785a2a0fb75@cs.ucsd.edu","name":"Ranjit Jhala"},"message":"ad Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell","distinct":true,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/edf040f3ac81ebbbd24c8babc7dd8809dcf16c9e"}]}