GitHub DeleteEvent at 2014-07-17 21:13:18
Repository: platform_build
Actor: manumanfred
Payload: ref: tools_r22.6
ref_type: branch
pusher_type: user