GitHub DeleteEvent at 2014-10-27 22:55:17
Repository: lambda-term
Actor: Drup
Payload: ref: format
ref_type: branch
pusher_type: user