{"push_id":546585893,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"8f3a7497ca7486ad918c6b6440dd23334495d0a1","before":"1810fa0543ad76535c58d82eb4027f8c199844c0","commits":[{"sha":"8f3a7497ca7486ad918c6b6440dd23334495d0a1","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"Bottle: 0.2.0-git5c9a277deadee76fcd12194e9c5d4b2a57b1b225","distinct":true,"url":"https://api.github.com/repos/leanprover/homebrew-lean/commits/8f3a7497ca7486ad918c6b6440dd23334495d0a1"}]}