GitHub PushEvent at 2014-10-03 17:21:19
Repository: genode
Actor: chelmuth
Payload: {"shas":[["6794c3f90a46dc9e14aa61d591cbe23193847d72","93d2abd2bb9b2a7a2515f8c0a9d3577fe1d5b6dc@genode-labs.com","xml_generator: timer not needed for test","Christian Helmuth",true]],"size":1,"ref":"refs/heads/staging","head":"6794c3f90a46dc9e14aa61d591cbe23193847d72"}