GitHub PushEvent at 2014-12-04 11:03:43
Repository: coq-blog
Actor: clarus
Payload: {"shas":[["cb1580fc2eb4bfe85bed84764f9168e262e2e9cd","34c6fceca75e456f25e7e99531e2425c6c1de443@clarus.me","Updates to the compatibility article","Guillaume Claret",true]],"size":1,"ref":"refs/heads/master","head":"cb1580fc2eb4bfe85bed84764f9168e262e2e9cd"}