GitHub PushEvent at 2014-01-31 17:33:39
Repository: sf
Actor: s-vde
Payload: {"shas":[["e94bd3ef03f0815c9cb07a6d7e4ad11986724af5","6b81120d9f48fb9572fa23d3d90c3f87980442e0@mpi-sws.org","Poly.v until map_rev","Susanne van den Elsen",true]],"size":1,"ref":"refs/heads/ssr","head":"e94bd3ef03f0815c9cb07a6d7e4ad11986724af5"}