{"push_id":651531194,"size":1,"distinct_size":1,"ref":"refs/heads/yosemite","head":"47667f7446f454c599cb316837ee7c0544317d12","before":"202e34b5c81a8860eb6c53d08b0d3d539e5c534f","commits":[{"sha":"47667f7446f454c599cb316837ee7c0544317d12","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"Add lean-0.2.0.20150502190125.git8c107d6936ae735b3f3ed1747f10410ff7c7ed2f.yosemite.bottle.tar.gz","distinct":true,"url":"https://api.github.com/repos/leanprover/homebrew-lean/commits/47667f7446f454c599cb316837ee7c0544317d12"}]}