GitHub PushEvent at 2014-12-16 05:21:59
Repository: SigLog
Actor: awodey
Payload: {"shas":[["095d65239d4648fe7ab2b5135170c8537b7ed797","5d4741f379cb62ae4150461442b83a578a1f4ae3@gmail.com","next draft\n\nincorporating comments from VV via RH, and others","Steve Awodey",true]],"size":1,"ref":"refs/heads/master","head":"095d65239d4648fe7ab2b5135170c8537b7ed797"}