{"push_id":1367204753,"size":1,"distinct_size":1,"ref":"refs/heads/doctcs","head":"9ce0b83759f8db1b64c116eaf250c7b66ffe0fc9","before":"ac70b72946e19c26460263130872f9244d4622c4","commits":[{"sha":"9ce0b83759f8db1b64c116eaf250c7b66ffe0fc9","author":{"name":"Matthieu Sozeau","email":"385f7ace2b863d21ff523187b1fd442e431592c6@mattam.org"},"message":"more compatible API","distinct":true,"url":"https://api.github.com/repos/mattam82/coq/commits/9ce0b83759f8db1b64c116eaf250c7b66ffe0fc9"}]}
{"actor":{"display_login":"mattam82"}}