{"push_id":677133961,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"8f55acee116a198b934ad53e982461d7fd08b139","before":"362b971bc7d2605eb47e6a17b61ef2cf56cdcd13","commits":[{"sha":"8f55acee116a198b934ad53e982461d7fd08b139","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"Update: 0.2.0.20150527194658.gitae0bdaa836c9f6ef57d0f0dfdff529499e3989b5","distinct":true,"url":"https://api.github.com/repos/leanprover/homebrew-lean/commits/8f55acee116a198b934ad53e982461d7fd08b139"}]}