{"push_id":624121253,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"cdd59437874b27b117f8ad4b9fb3ffb81c66815c","before":"833aaa611721b6dced72357affb459d93adecd10","commits":[{"sha":"cdd59437874b27b117f8ad4b9fb3ffb81c66815c","author":{"email":"3b95a54222d3b0d8e0c08f9a9846dc29b657b671@gmail.com","name":"Damien Doligez"},"message":"Remove temp files properly\n\nYou have to (attempt to) remove both in /tmp and in . because you don't know in which directory the .o file will end up (and on my machine it seems to do both).","distinct":true,"url":"https://api.github.com/repos/planar/lwt/commits/cdd59437874b27b117f8ad4b9fb3ffb81c66815c"}]}