GitHub PushEvent at 2014-07-30 05:23:50
Repository: higher-inductive-paper
Actor: mikeshulman
Payload: {"shas":[["3c6d837a669727f102647dea96a737207685ca6c","cba0fef17285386956737483f829171a211b13d9@gmail.com","a bit more","mikeshulman",true]],"size":1,"ref":"refs/heads/master","head":"3c6d837a669727f102647dea96a737207685ca6c"}