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