GitHub DeleteEvent at 2014-03-05 14:16:37
Repository: coq
Actor: coq
Payload: ref: master
ref_type: branch
pusher_type: deploy_key