GitHub PushEvent at 2014-12-12 18:49:52
Repository: coq-utils
Actor: arthuraa
Payload: {"shas":[["ea7f114565abe0786e8bcb5364f5f5da3ed00c36","e253e4b56e6784659d60022d121c0a9ca58018a8@gmail.com","Change partmap naming convention.","Arthur Azevedo de Amorim",true]],"size":1,"ref":"refs/heads/master","head":"ea7f114565abe0786e8bcb5364f5f5da3ed00c36"}