GitHub DeleteEvent at 2014-11-11 05:20:35
Repository: HoTT
Actor: JasonGross
Payload: ref: fix-too-long
ref_type: branch
pusher_type: user