{"push_id":704906122,"size":5,"distinct_size":5,"ref":"refs/heads/master","head":"4d0d72acfbfe7124770b887396d5c726ddc8a462","before":"0c384b2a901a63771c15f39e8dec814002df4778","commits":[{"sha":"29a6a437cb0d7cf50b117c4e0b4edfab9f29b2db","author":{"email":"e1ccac100d0a1613f88d6fd0368db785a2a0fb75@cs.ucsd.edu","name":"Ranjit Jhala"},"message":"misc edits","distinct":true,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/29a6a437cb0d7cf50b117c4e0b4edfab9f29b2db"},{"sha":"c7b5bd4414c17bff876fcd18ae909544a64cb216","author":{"email":"e1ccac100d0a1613f88d6fd0368db785a2a0fb75@cs.ucsd.edu","name":"Ranjit Jhala"},"message":"maerg Merge branch 'master' of https://github.com/ucsd-progsys/liquidhaskell","distinct":true,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/c7b5bd4414c17bff876fcd18ae909544a64cb216"},{"sha":"6bb63a4309509b74f0ba2ce767b0dc5572d25f77","author":{"email":"e1ccac100d0a1613f88d6fd0368db785a2a0fb75@cs.ucsd.edu","name":"Ranjit Jhala"},"message":"lh builds","distinct":true,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/6bb63a4309509b74f0ba2ce767b0dc5572d25f77"},{"sha":"16677b27302cc48d8c1019cd7df6917d73de5af1","author":{"email":"e1ccac100d0a1613f88d6fd0368db785a2a0fb75@cs.ucsd.edu","name":"Ranjit Jhala"},"message":"update tests","distinct":true,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/16677b27302cc48d8c1019cd7df6917d73de5af1"},{"sha":"4d0d72acfbfe7124770b887396d5c726ddc8a462","author":{"email":"e1ccac100d0a1613f88d6fd0368db785a2a0fb75@cs.ucsd.edu","name":"Ranjit Jhala"},"message":"blerg","distinct":true,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/4d0d72acfbfe7124770b887396d5c726ddc8a462"}]}