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