{"push_id":598116059,"size":1,"distinct_size":1,"ref":"refs/heads/gh-pages","head":"ee0da2201cb0d6ae1b55618241a1f7e8a2cd2d27","before":"2e86ee8a2e6f7d78d0e7d8850acd2af742768d62","commits":[{"sha":"ee0da2201cb0d6ae1b55618241a1f7e8a2cd2d27","author":{"email":"e1ccac100d0a1613f88d6fd0368db785a2a0fb75@cs.ucsd.edu","name":"Ranjit Jhala"},"message":"update book","distinct":true,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell-tutorial/commits/ee0da2201cb0d6ae1b55618241a1f7e8a2cd2d27"}]}