GitHub PushEvent at 2014-12-06 07:15:18
Repository: homebrew-lean
Actor: soonhokong
Payload: {"shas":[["b4a7b4d32e9a193570f42ede350011c56db22fed","63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","0.2.0-git466b6717527194b751e9e9eace9b720c18b64936-10.10.1 [skip ci]","Soonho Kong",true]],"size":1,"ref":"refs/heads/master","head":"b4a7b4d32e9a193570f42ede350011c56db22fed"}