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