{"push_id":613569809,"size":1,"distinct_size":1,"ref":"refs/heads/mavericks","head":"585eb680aeabcbddfa7661e3db678da61e501030","before":"384014e3686d23270ac18c2a8277b8fc0518a943","commits":[{"sha":"585eb680aeabcbddfa7661e3db678da61e501030","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"Add lean-0.2.0.20150325194558.git49bc56ec077b92d8e339899e0d90ef3d65add7e4.mavericks.bottle.tar.gz","distinct":true,"url":"https://api.github.com/repos/leanprover/homebrew-lean/commits/585eb680aeabcbddfa7661e3db678da61e501030"}]}