{"push_id":687325787,"size":1,"distinct_size":1,"ref":"refs/heads/mavericks","head":"075a86c2e504d273b3c442e96c5424c0ce1f3c00","before":"7bec4168928e3afa7aa1a216d4548e313add9cb0","commits":[{"sha":"075a86c2e504d273b3c442e96c5424c0ce1f3c00","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"Add lean-0.2.0.20150606195824.git17f2c240e17985f375456d3705acd73af9daa861.mavericks.bottle.tar.gz","distinct":true,"url":"https://api.github.com/repos/leanprover/homebrew-lean/commits/075a86c2e504d273b3c442e96c5424c0ce1f3c00"}]}