GitHub PushEvent at 2014-10-08 10:26:11
Repository: thesis
Actor: ma82
Payload: {"shas":[["409470a490117d22289a0d5a07abcd87e09605e9","ab1f18d405cf961f6218915057756d017227d692@gmail.com","Minor","Matteo Acerbi",true]],"size":1,"ref":"refs/heads/agda-head-compat-unlit-squash","head":"409470a490117d22289a0d5a07abcd87e09605e9"}