GitHub DeleteEvent at 2014-07-03 18:44:27
Repository: mediawiki-extensions-NamespaceHTML
Actor: wmfgerrit
Payload: ref: REL1_23
ref_type: branch
pusher_type: user