GitHub PushEvent at 2014-07-03 15:49:30
Repository: GEB_TNT
Actor: tcfraser
Payload: {"shas":[["e920644e1f9fad5cc4afebbaa4d71b0dd243e153","6ec3a52def00d16154681a5c9297d50dcef30468@gmail.com","Preparing for printing all the theorems.\n\nTitle^. Not Much Else.","tcfraser",true]],"size":1,"ref":"refs/heads/master","head":"e920644e1f9fad5cc4afebbaa4d71b0dd243e153"}