{"push_id":642801795,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"5254232feaa2739cf18e22f291dfd4cd3a63dd02","before":"b15831e03d1e2c5959d2dbf01f8a195af0642105","commits":[{"sha":"5254232feaa2739cf18e22f291dfd4cd3a63dd02","author":{"email":"524527a34295183a769b8b81db8a284b357a111d@gmail.com","name":"Niki Vazou"},"message":"Fix for #384","distinct":true,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/5254232feaa2739cf18e22f291dfd4cd3a63dd02"}]}