GitHub PushEvent at 2014-12-04 23:27:39
Repository: homebrew-lean
Actor: soonhokong
Payload: {"shas":[["8efab01ddfb8068490d0d73eec8f9531eff9e6cb","63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","0.2.0-gitebda057499d26c6eb5ea274aefa848f7423c6144-10.9.5 [skip ci]","Soonho Kong",true]],"size":1,"ref":"refs/heads/master","head":"8efab01ddfb8068490d0d73eec8f9531eff9e6cb"}