{"push_id":654708146,"size":1,"distinct_size":1,"ref":"refs/heads/datacons","head":"a86cf12d266f07a96d0e0df10cb6e0d2c5323d98","before":"2c45eeb251829a2c8f0987f1d05be6948b0699d0","commits":[{"sha":"a86cf12d266f07a96d0e0df10cb6e0d2c5323d98","author":{"email":"524527a34295183a769b8b81db8a284b357a111d@gmail.com","name":"nikivazou"},"message":"list singleton","distinct":true,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/a86cf12d266f07a96d0e0df10cb6e0d2c5323d98"}]}