{"push_id":599522460,"size":1,"distinct_size":1,"ref":"refs/heads/mavericks","head":"2c25b2ddd7314d69edf4beea3979519a36ff7cb6","before":"c811055b08b77f31b60fcf0a3989389e0f36b79e","commits":[{"sha":"2c25b2ddd7314d69edf4beea3979519a36ff7cb6","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"Add lean-0.2.0.20150312033231.git7de3d5771df1e80591289f19c782836d052f5c55.mavericks.bottle.tar.gz","distinct":true,"url":"https://api.github.com/repos/leanprover/homebrew-lean/commits/2c25b2ddd7314d69edf4beea3979519a36ff7cb6"}]}