GitHub PushEvent at 2014-08-23 16:16:49
Repository: idris-playground
Actor: projedi
Payload: {"shas":[["4637fefefe315a4641427948d424c03239058b68","a736e2a674123d4042b582f07cdb8258a6de94d3@gmail.com","Add tactics slide","Alexander Shabalin",true]],"size":1,"ref":"refs/heads/master","head":"4637fefefe315a4641427948d424c03239058b68"}