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