GitHub PushEvent at 2014-04-16 12:21:25
Repository: infomtpt-verified-compilers
Actor: joaopizani
Payload: {"shas":[["754813a167f8efc6975dbea5699dd9e970aa6f9c","f142f7889c110a9866577a24b7fe4cfc4d2348af@gmail.com","a bit more division of labour","João Paulo Pizani Flor",true]],"size":1,"ref":"refs/heads/master","head":"754813a167f8efc6975dbea5699dd9e970aa6f9c"}