{"push_id":1866004066,"size":1,"distinct_size":1,"ref":"refs/heads/appveyor","head":"9abb24f8a8c77ebd77f74462554d585605f469e2","before":"5b33e5b092032eebab0ea1b801f6cf7c4c5347ae","commits":[{"sha":"9abb24f8a8c77ebd77f74462554d585605f469e2","author":{"name":"Enrico Tassi","email":"a46adc9faf082e84480f72ffaaa22ae593009461@inria.fr"},"message":"coq_makefile: use System.exists_dir for better portability","distinct":true,"url":"https://api.github.com/repos/gares/coq/commits/9abb24f8a8c77ebd77f74462554d585605f469e2"}]}
{"actor":{"display_login":"gares"}}