{"push_id":641366946,"size":1,"distinct_size":1,"ref":"refs/heads/mavericks","head":"99f9d3f2e34b953374e8773462c63a489a110101","before":"0996d2b93a4c5fb8ed243aea959eea89b03007b1","commits":[{"sha":"99f9d3f2e34b953374e8773462c63a489a110101","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"Add lean-0.2.0.20150422160856.gite1a609cad9d1e27bcec1426044cd38f0e8fa0ae7.mavericks.bottle.tar.gz","distinct":true,"url":"https://api.github.com/repos/leanprover/homebrew-lean/commits/99f9d3f2e34b953374e8773462c63a489a110101"}]}