GitHub PushEvent at 2014-12-17 11:24:55
Repository: rust
Actor: michaelwoerister
Payload: {"shas":[["3ddd13ebc4108e726a6b104be17e274ca0b35f32","4fb647a2c3ead3c3f40f455abb861941f7d4ffb2@posteo","debuginfo: Add a rust-gdb shell script that will start GDB with Rust pretty printers enabled.","Michael Woerister",true]],"size":1,"ref":"refs/heads/rust-gdb","head":"3ddd13ebc4108e726a6b104be17e274ca0b35f32"}