{"push_id":569898876,"size":1,"distinct_size":1,"ref":"refs/heads/gh-pages","head":"f71d2bb34eda4515f6d8a532809adf4abe6e3cb6","before":"f57b608729987eb62b9ad3dc2d653bfcf315097d","commits":[{"sha":"f71d2bb34eda4515f6d8a532809adf4abe6e3cb6","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"Bottles: 0.2.0.20150209212531.gitc3e7b1f8177a8fbe7a58be51b6050eac230b2c74 [skip ci]","distinct":true,"url":"https://api.github.com/repos/leanprover/homebrew-lean/commits/f71d2bb34eda4515f6d8a532809adf4abe6e3cb6"}]}