{"push_id":2038218278,"size":1,"distinct_size":1,"ref":"refs/heads/IR","head":"6106e0558457787601d4c870898d0285e5513f9d","before":"b4e02c1b6db921972a66cd098e2b9d0af7f5c6d8","commits":[{"sha":"6106e0558457787601d4c870898d0285e5513f9d","author":{"name":"Matthieu Sozeau","email":"385f7ace2b863d21ff523187b1fd442e431592c6@mattam.org"},"message":"Merge pull request #6 from SkySkimmer/IR\n\nRemove dead code","distinct":true,"url":"https://api.github.com/repos/SkySkimmer/coq/commits/6106e0558457787601d4c870898d0285e5513f9d"}]}
{"actor":{"display_login":"SkySkimmer"}}