{"push_id":2071375869,"size":2,"distinct_size":2,"ref":"refs/heads/elaborate","head":"8d33da74cface9c7a9f62c70c2fc191b00919838","before":"3a6099cb5c608f1892b40d0afcd8035c6c910f47","commits":[{"sha":"091860f34d48b402ff94aa4059facd7bed3bbca6","author":{"name":"nikivazou","email":"dae9a38263fac2b01c72efae58e9b9152b6c82f6@gmail.com"},"message":"elaborate: unification after application","distinct":true,"url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/commits/091860f34d48b402ff94aa4059facd7bed3bbca6"},{"sha":"8d33da74cface9c7a9f62c70c2fc191b00919838","author":{"name":"nikivazou","email":"dae9a38263fac2b01c72efae58e9b9152b6c82f6@gmail.com"},"message":"Merge branch 'develop' of https://github.com/ucsd-progsys/liquid-fixpoint into HEAD","distinct":true,"url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/commits/8d33da74cface9c7a9f62c70c2fc191b00919838"}]}
{"actor":{"display_login":"nikivazou"}}