{"push_id":628264716,"size":1,"distinct_size":1,"ref":"refs/heads/multiparams","head":"9cb08dd05ee5831fd4d2868db3ea7a65f63ce1d7","before":"47adf418c71a865e3892580172c6c5858772bb53","commits":[{"sha":"9cb08dd05ee5831fd4d2868db3ea7a65f63ce1d7","author":{"email":"524527a34295183a769b8b81db8a284b357a111d@gmail.com","name":"nikivazou"},"message":"remove support for user-existentials","distinct":true,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/9cb08dd05ee5831fd4d2868db3ea7a65f63ce1d7"}]}