{"push_id":3447637708,"size":2,"distinct_size":1,"ref":"refs/heads/develop","head":"b6ee74f343ac5cfd2b87a2f7d6cff47c3b9fba95","before":"0d88f4c30837232592603f16835c300fc61026f6","commits":[{"sha":"875497285842ca4e4313833dd60dc73f73e0b2c4","author":{"name":"nikivazou","email":"524527a34295183a769b8b81db8a284b357a111d@gmail.com"},"message":"fix for #1423","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/875497285842ca4e4313833dd60dc73f73e0b2c4"},{"sha":"b6ee74f343ac5cfd2b87a2f7d6cff47c3b9fba95","author":{"name":"Niki Vazou","email":"524527a34295183a769b8b81db8a284b357a111d@gmail.com"},"message":"Merge pull request #1439 from ucsd-progsys/T1423\n\nfix for #1423","distinct":true,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/b6ee74f343ac5cfd2b87a2f7d6cff47c3b9fba95"}]}
{"actor":{"display_login":"nikivazou"}}