GitHub PushEvent at 2014-07-12 05:29:39
Repository: dharma
Actor: foones
Payload: {"shas":[["56417926cd344dcd4c89ab089778fe0db5530ee7","57437e251c47808ebed41dcee351d99ca18d0352@gmail.com","agda hott, coq cayley","foones",true]],"size":1,"ref":"refs/heads/master","head":"56417926cd344dcd4c89ab089778fe0db5530ee7"}