GitHub PushEvent at 2014-04-21 12:42:40
Repository: coinductives
Actor: benediktahrens
Payload: {"shas":[["e2dffe6084486a45ed43379f382d423e2c3905c9","b7c4baa775b92bf60ed8f6ecd5ac9f457efbb970@gmx.net","added remark about long version to short version","Benedikt Ahrens",true]],"size":1,"ref":"refs/heads/master","head":"e2dffe6084486a45ed43379f382d423e2c3905c9"}