{"push_id":873360367,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"90505444c3554180e1f30ed902a787aba889b34a","before":"9f05754beda91135083922371335e1d552e98369","commits":[{"sha":"90505444c3554180e1f30ed902a787aba889b34a","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"doc(README.md): add bintray badge\n\n[skip ci]","distinct":true,"url":"https://api.github.com/repos/leanprover/homebrew-lean/commits/90505444c3554180e1f30ed902a787aba889b34a"}]}