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