GitHub PushEvent at 2014-05-31 16:12:27
Repository: doc.HoTT
Actor: mobileink
Payload: {"shas":[["2e47d1aa7f811cd6acf4a71ecaae50cc1f3d240f","34c6fceca75e456f25e7e99531e2425c6c1de443@mobileink.com","notes on proof, c-h","Gregg Reynolds",true]],"size":1,"ref":"refs/heads/master","head":"2e47d1aa7f811cd6acf4a71ecaae50cc1f3d240f"}