{"push_id":1271122404,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"6ffcfa5d48e0cab0c23438ad6d189b884b39d445","before":"f7729ccaa6be8642850eb42083ecb392b9bc6c22","commits":[{"sha":"6ffcfa5d48e0cab0c23438ad6d189b884b39d445","author":{"name":"Florent Hivert","email":"328536d1ec39efd54e0c5600f8f87d2dcb1520aa@lri.fr"},"message":"Simplified proof using ordinal instead of iota","distinct":true,"url":"https://api.github.com/repos/hivert/Coq-Combi/commits/6ffcfa5d48e0cab0c23438ad6d189b884b39d445"}]}
{"actor":{"display_login":"hivert"}}