{"push_id":663037425,"size":1,"distinct_size":1,"ref":"refs/heads/yosemite","head":"41dce8d7c51d26cfbf7ec79a4de9a489b5831027","before":"fc37c1e64661b12749dc82afd830e5bc267feaa2","commits":[{"sha":"41dce8d7c51d26cfbf7ec79a4de9a489b5831027","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"Add lean-0.2.0.20150513175239.git7f608fd90739d3dafbe91cfc2c8500d22a9520f4.yosemite.bottle.tar.gz","distinct":true,"url":"https://api.github.com/repos/leanprover/homebrew-lean/commits/41dce8d7c51d26cfbf7ec79a4de9a489b5831027"}]}