{"push_id":1361305524,"size":1,"distinct_size":1,"ref":"refs/heads/Homsym","head":"5f77458af9679197ec475d4e9ca5741317ff878f","before":"96d56ac85d9f4fb12c0e73093cddc718e4d59e02","commits":[{"sha":"5f77458af9679197ec475d4e9ca5741317ff878f","author":{"name":"Florent Hivert","email":"328536d1ec39efd54e0c5600f8f87d2dcb1520aa@lri.fr"},"message":"Done the proof of the various bases","distinct":true,"url":"https://api.github.com/repos/hivert/Coq-Combi/commits/5f77458af9679197ec475d4e9ca5741317ff878f"}]}
{"actor":{"display_login":"hivert"}}