{"push_id":539006350,"size":1,"distinct_size":1,"ref":"refs/heads/gh-pages","head":"7a20ba1c56e30b7bf21f2e8d0c4ee1548c5815ef","before":"96a239d631bdb70f75f59d1ec2218f0f7d2eacf6","commits":[{"sha":"7a20ba1c56e30b7bf21f2e8d0c4ee1548c5815ef","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"Bottle: 0.2.0-git3325d791de859b028c261954024c0cbacbe3362a [skip ci]","distinct":true,"url":"https://api.github.com/repos/leanprover/homebrew-lean/commits/7a20ba1c56e30b7bf21f2e8d0c4ee1548c5815ef"}]}