GitHub DeleteEvent at 2014-05-02 13:24:03
Repository: coq
Actor: JasonGross
Payload: ref: handle-coq-prog-args
ref_type: branch
pusher_type: user