GitHub PushEvent at 2014-10-28 01:27:54
Repository: lean.js
Actor: soonhokong
Payload: {"shas":[["84fa922ddfb9d9fc9300a29220115912481c1eba","63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","Update Mon, 27 Oct 2014 21:27:50 -0400","Soonho Kong",true]],"size":1,"ref":"refs/heads/gh-pages","head":"84fa922ddfb9d9fc9300a29220115912481c1eba"}