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