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