{"push_id":1215030956,"size":2,"distinct_size":2,"ref":"refs/heads/RepSn","head":"50e4405d2040b15738893b81df3944264894dcd4","before":"26b08db2372026c50ce1ab4e166393f3c473057d","commits":[{"sha":"cd1ee3108e765fe9c5608d5f8f76292ac7f438b9","author":{"name":"Florent Hivert","email":"328536d1ec39efd54e0c5600f8f87d2dcb1520aa@lri.fr"},"message":"Big cleanup in SymPoly canonicals","distinct":true,"url":"https://api.github.com/repos/hivert/Coq-Combi/commits/cd1ee3108e765fe9c5608d5f8f76292ac7f438b9"},{"sha":"50e4405d2040b15738893b81df3944264894dcd4","author":{"name":"Florent Hivert","email":"328536d1ec39efd54e0c5600f8f87d2dcb1520aa@lri.fr"},"message":"Merge branch 'RepSn' of github.com:hivert/Coq-Combi into RepSn","distinct":true,"url":"https://api.github.com/repos/hivert/Coq-Combi/commits/50e4405d2040b15738893b81df3944264894dcd4"}]}
{"actor":{"display_login":"hivert"}}