{"push_id":1811675050,"size":1,"distinct_size":1,"ref":"refs/heads/appveyor","head":"e8ec2fd4d47e7c9ac095c68cbeffedba6126904c","before":"79c1787531b9c5bc0b345432e60b352208e9018a","commits":[{"sha":"e8ec2fd4d47e7c9ac095c68cbeffedba6126904c","author":{"name":"Maxime Dénès","email":"3b8e10480754ba93523db5dc4626a5f001e54bb7@maximedenes.fr"},"message":"WIP","distinct":true,"url":"https://api.github.com/repos/maximedenes/coq/commits/e8ec2fd4d47e7c9ac095c68cbeffedba6126904c"}]}
{"actor":{"display_login":"maximedenes"}}