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