GitHub PushEvent at 2014-05-12 15:30:24
Repository: coinductives
Actor: benediktahrens
Payload: {"shas":[["795554184290641016eafd728010b9d49132cc3b","b7c4baa775b92bf60ed8f6ecd5ac9f457efbb970@gmx.net","coalg thm","Benedikt Ahrens",true]],"size":1,"ref":"refs/heads/master","head":"795554184290641016eafd728010b9d49132cc3b"}