{"push_id":2996150537,"size":3,"distinct_size":1,"ref":"refs/heads/develop","head":"c60759b646d06954188474a7a75dc2083f957429","before":"095d5dd3b4748ff4661176e5874ab34e6332bc88","commits":[{"sha":"8331e7f648e94c004b5bd1dde8bfb9bf1668b4ee","author":{"name":"nikivazou","email":"524527a34295183a769b8b81db8a284b357a111d@gmail.com"},"message":"fix for #1365","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/8331e7f648e94c004b5bd1dde8bfb9bf1668b4ee"},{"sha":"b6bbb6ca65a2a0cb405e56d8e29470c9f0302037","author":{"name":"nikivazou","email":"524527a34295183a769b8b81db8a284b357a111d@gmail.com"},"message":"update with fixpoint develop","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/b6bbb6ca65a2a0cb405e56d8e29470c9f0302037"},{"sha":"c60759b646d06954188474a7a75dc2083f957429","author":{"name":"Niki Vazou","email":"524527a34295183a769b8b81db8a284b357a111d@gmail.com"},"message":"Merge pull request #1367 from ucsd-progsys/muDataDefinition\n\nMu data definition","distinct":true,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/c60759b646d06954188474a7a75dc2083f957429"}]}
{"actor":{"display_login":"nikivazou"}}