GitHub DeleteEvent at 2014-01-15 09:54:39
Repository: idris-mode
Actor: hannesm
Payload: ref: issue-44
ref_type: branch