{"push_id":755352212,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"142350cfb7d2487ec0ad1524da7ceb9cb57fddac","before":"efd4d8d17a934c1025b3df6d51d975eb2a3dfe53","commits":[{"sha":"142350cfb7d2487ec0ad1524da7ceb9cb57fddac","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"Update: 0.2.0.20150812000845.git602626803b4f26ea1e7b634e79ccc4b926e95a24","distinct":true,"url":"https://api.github.com/repos/leanprover/homebrew-lean/commits/142350cfb7d2487ec0ad1524da7ceb9cb57fddac"}]}