{"push_id":1062602414,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"a0275236625f52c022f14373bd9e5a28ce8fb1fb","before":"33f6126a0f96c85046d8d1e57088992bd497739e","commits":[{"sha":"a0275236625f52c022f14373bd9e5a28ce8fb1fb","author":{"email":"3313117ab8ad19b6005009962f007193e79d3c52@gmail.com","name":"Regis Blanc"},"message":"fix infinite recursion in anti-aliasing","distinct":true,"url":"https://api.github.com/repos/epfl-lara/leon/commits/a0275236625f52c022f14373bd9e5a28ce8fb1fb"}]}