GitHub PushEvent at 2014-06-12 12:06:43
Repository: GPI-2
Actor: rumach
Payload: {"shas":[["0747f453a6c2f71e4f0f4d9bf26183018815426b","6a80c31c7de5ef297c919e737901c0cdb1b74501@itwm.fhg.de","Change timeout type.","Rui Machado",true]],"size":1,"ref":"refs/heads/next","head":"0747f453a6c2f71e4f0f4d9bf26183018815426b"}