GitHub PushEvent at 2014-10-22 15:04:25
Repository: coq2opam2web
Actor: clarus
Payload: {"shas":[["b6b2cd0f85218ea22ad68b7796c4c511023ce34e","34c6fceca75e456f25e7e99531e2425c6c1de443@clarus.me","Updated to the new repository url","Guillaume Claret",true]],"size":1,"ref":"refs/heads/master","head":"b6b2cd0f85218ea22ad68b7796c4c511023ce34e"}