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