{"push_id":567900497,"size":1,"distinct_size":1,"ref":"refs/heads/mavericks","head":"09b039a7ea1ab24b135e7b9a7467f8f8a6fae6bb","before":"b638ee8f8dd863b955339e1545212fbdd535538a","commits":[{"sha":"09b039a7ea1ab24b135e7b9a7467f8f8a6fae6bb","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"Add lean-0.2.0.20150206213441.gitd143b525f79bc47f11c684dcf108f5a0b1a1ae33.mavericks.bottle.tar.gz","distinct":true,"url":"https://api.github.com/repos/soonhokong/homebrew-lean/commits/09b039a7ea1ab24b135e7b9a7467f8f8a6fae6bb"}]}