{"push_id":1373113457,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"7d029e3037b64dca6224151ea143d23cd03a26cd","before":"9922feea537ced718a3822dd50eabc87da060338","commits":[{"sha":"7d029e3037b64dca6224151ea143d23cd03a26cd","author":{"name":"Xavier Leroy","email":"4ad87b85d0c02a43fd9242bca4fc9319cd501395@inria.fr"},"message":"runtime/powerpc: remove useless files, add comments","distinct":true,"url":"https://api.github.com/repos/AbsInt/CompCert/commits/7d029e3037b64dca6224151ea143d23cd03a26cd"}]}
{"actor":{"display_login":"xavierleroy"}}