GitHub DeleteEvent at 2014-10-21 05:43:21
Repository: HoTT
Actor: mikeshulman
Payload: ref: nullhomotopy
ref_type: branch
pusher_type: user