{"push_id":637022211,"size":2,"distinct_size":1,"ref":"refs/heads/yosemite","head":"c864b44cb530972895f66db04f8d6bd4213b6302","before":"fb9c4ff75a19db1e29fd0bc7d64740389e9c9015","commits":[{"sha":"d80176207f0e6ce62a02424a250db3f488baddeb","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"Update: 0.2.0.20150418135030.gitcc63a40a01ed0e571f8ca7a852f5f4774802b15f","distinct":false,"url":"https://api.github.com/repos/leanprover/homebrew-lean/commits/d80176207f0e6ce62a02424a250db3f488baddeb"},{"sha":"c864b44cb530972895f66db04f8d6bd4213b6302","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"Add lean-0.2.0.20150418143952.gitf4398115b476da0221db7b1db1211c6ba7961dd8.yosemite.bottle.tar.gz","distinct":true,"url":"https://api.github.com/repos/leanprover/homebrew-lean/commits/c864b44cb530972895f66db04f8d6bd4213b6302"}]}