{"push_id":756146264,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"1ed01f530c93c054b6590448fae050364a3878cd","before":"b30a9c8a240f8228c7041ada69eb01580b8fb973","commits":[{"sha":"1ed01f530c93c054b6590448fae050364a3878cd","author":{"email":"524527a34295183a769b8b81db8a284b357a111d@gmail.com","name":"nikivazou"},"message":"removing RG and Problems","distinct":true,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/1ed01f530c93c054b6590448fae050364a3878cd"}]}