GitHub DeleteEvent at 2014-05-19 20:45:29
Repository: crash
Actor: mfussenegger
Payload: ref: j/optimize_get_stdin
ref_type: branch
pusher_type: user