GitHub PushEvent at 2014-10-06 18:19:53
Repository: panda
Actor: jhodosh
Payload: {"shas":[["9b595a69e65a34d50c6ed14e4546fa18ee065b71","330fbd52134bed9250079e9e1feee4db1b34659b@ll.mit.edu","bir: remove #include from internal API, so it doesn't break external API","Joshua Hodosh",true]],"size":1,"ref":"refs/heads/master","head":"9b595a69e65a34d50c6ed14e4546fa18ee065b71"}