{"push_id":615746522,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"05eecb0118ca81094ab83c66f2c2df8a9e8d6599","before":"5e5c476830a7f8da6777c1128d3c619be4a7491f","commits":[{"sha":"05eecb0118ca81094ab83c66f2c2df8a9e8d6599","author":{"email":"e1ccac100d0a1613f88d6fd0368db785a2a0fb75@cs.ucsd.edu","name":"Ranjit Jhala"},"message":"finished twiddling with overview","distinct":true,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/05eecb0118ca81094ab83c66f2c2df8a9e8d6599"}]}