{"push_id":689813791,"size":1,"distinct_size":1,"ref":"refs/heads/autosize","head":"def74a308d1fe9ea903112bc20b4b8a027a3e5dd","before":"c227edf96a6fd1729001305d2dec5762b7b1ca72","commits":[{"sha":"def74a308d1fe9ea903112bc20b4b8a027a3e5dd","author":{"email":"524527a34295183a769b8b81db8a284b357a111d@gmail.com","name":"nikivazou"},"message":"minor fix","distinct":true,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/def74a308d1fe9ea903112bc20b4b8a027a3e5dd"}]}