GitHub DeleteEvent at 2014-10-16 16:13:36
Repository: Idris-dev
Actor: victoredwardocallaghan
Payload: ref: algebra
ref_type: branch
pusher_type: user