{"push_id":724264173,"size":615,"distinct_size":1,"ref":"refs/heads/yosemite","head":"98eb00c3a4f0e456e4bd7ebca3b60d2982ed3653","before":"5b50b34698e2db7d16c19843c1c19746abac4584","commits":[{"sha":"c64a178f69b31fb04c74819496b8062c3c1fee7b","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"feat: add a formula for lean","distinct":false,"url":"https://api.github.com/repos/leanprover/homebrew-lean/commits/c64a178f69b31fb04c74819496b8062c3c1fee7b"},{"sha":"e88bf423ffed2be074b1f45165a83c3e712df3c9","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"fix(lean.rb): make it head-only formula","distinct":false,"url":"https://api.github.com/repos/leanprover/homebrew-lean/commits/e88bf423ffed2be074b1f45165a83c3e712df3c9"},{"sha":"94d5c362a5b523eb001eaa626e2e8817517bc90d","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"fix(README.md): add \"how to install section\"","distinct":false,"url":"https://api.github.com/repos/leanprover/homebrew-lean/commits/94d5c362a5b523eb001eaa626e2e8817517bc90d"},{"sha":"0605f7294de99164dab1243e02193b81d444543c","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"feat(lean.rb): add ninja dep","distinct":false,"url":"https://api.github.com/repos/leanprover/homebrew-lean/commits/0605f7294de99164dab1243e02193b81d444543c"},{"sha":"7e41f247de732ac0bbc497137a77cd43cfb6fd44","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"feat(README.md): add instruction on how to upgrade","distinct":false,"url":"https://api.github.com/repos/leanprover/homebrew-lean/commits/7e41f247de732ac0bbc497137a77cd43cfb6fd44"},{"sha":"8c76ca2a00c07182d628957ac8b2d5361d4874b8","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"fix(lean.rb): specify library directory","distinct":false,"url":"https://api.github.com/repos/leanprover/homebrew-lean/commits/8c76ca2a00c07182d628957ac8b2d5361d4874b8"},{"sha":"cf9e737be3ab70c1ba2c01c91c4304553fee2ce1","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"fix(lean.rb): fix EMACS_LISP_DIR","distinct":false,"url":"https://api.github.com/repos/leanprover/homebrew-lean/commits/cf9e737be3ab70c1ba2c01c91c4304553fee2ce1"},{"sha":"c4b417f97d104272701441b95257b1063a7c6eee","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"chore(.gitignore): add","distinct":false,"url":"https://api.github.com/repos/leanprover/homebrew-lean/commits/c4b417f97d104272701441b95257b1063a7c6eee"},{"sha":"26869ab4d30ac2cf093f7e0d954636973b072dd6","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"feat(lean.rb.template): add template formula","distinct":false,"url":"https://api.github.com/repos/leanprover/homebrew-lean/commits/26869ab4d30ac2cf093f7e0d954636973b072dd6"},{"sha":"7ec28e0d902b70a028fc710a2b18fa045ace9bc6","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"feat(update.sh): add update script","distinct":false,"url":"https://api.github.com/repos/leanprover/homebrew-lean/commits/7ec28e0d902b70a028fc710a2b18fa045ace9bc6"},{"sha":"93637849873ad4fe72bf4327a9f2acc706f78f2e","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"0.2.0-git51719145f9a123a7b39dfa2f63f723b5622ad704-10.10 [skip ci]","distinct":false,"url":"https://api.github.com/repos/leanprover/homebrew-lean/commits/93637849873ad4fe72bf4327a9f2acc706f78f2e"},{"sha":"9c40a13b6872be96703b7410145edc573fed3406","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"Bottle: 0.2.0-git51719145f9a123a7b39dfa2f63f723b5622ad704","distinct":false,"url":"https://api.github.com/repos/leanprover/homebrew-lean/commits/9c40a13b6872be96703b7410145edc573fed3406"},{"sha":"f1f2989385f6092f5cd8e479c1701afa03fb5b9e","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"feat(update.sh): handle revision","distinct":false,"url":"https://api.github.com/repos/leanprover/homebrew-lean/commits/f1f2989385f6092f5cd8e479c1701afa03fb5b9e"},{"sha":"47b9d32164d26fc463bb9fe886420cca89ba8f03","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"0.2.0-git51719145f9a123a7b39dfa2f63f723b5622ad704-10.10 [skip ci]","distinct":false,"url":"https://api.github.com/repos/leanprover/homebrew-lean/commits/47b9d32164d26fc463bb9fe886420cca89ba8f03"},{"sha":"841356de4f60875fe4e8474ed9b3fbe9c2610e23","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"Bottle: 0.2.0-git51719145f9a123a7b39dfa2f63f723b5622ad704","distinct":false,"url":"https://api.github.com/repos/leanprover/homebrew-lean/commits/841356de4f60875fe4e8474ed9b3fbe9c2610e23"},{"sha":"016fba0272bff0208c5b533f066b2f3d02c9cd11","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"0.2.0-git51719145f9a123a7b39dfa2f63f723b5622ad704-10.9.5 [skip ci]","distinct":false,"url":"https://api.github.com/repos/leanprover/homebrew-lean/commits/016fba0272bff0208c5b533f066b2f3d02c9cd11"},{"sha":"40d3271fa8c1587426c57e47108070ac7dec41f3","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"Bottle: 0.2.0-git51719145f9a123a7b39dfa2f63f723b5622ad704","distinct":false,"url":"https://api.github.com/repos/leanprover/homebrew-lean/commits/40d3271fa8c1587426c57e47108070ac7dec41f3"},{"sha":"c780c903261c3b58a399f4bcd0de0e187dc4f529","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"0.2.0-git51719145f9a123a7b39dfa2f63f723b5622ad704-10.10 [skip ci]","distinct":false,"url":"https://api.github.com/repos/leanprover/homebrew-lean/commits/c780c903261c3b58a399f4bcd0de0e187dc4f529"},{"sha":"f570f1f95edb7d2dc11a3a53a1878cf306ed547d","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"Bottle: 0.2.0-git51719145f9a123a7b39dfa2f63f723b5622ad704","distinct":false,"url":"https://api.github.com/repos/leanprover/homebrew-lean/commits/f570f1f95edb7d2dc11a3a53a1878cf306ed547d"},{"sha":"b4ad492013b365701ad1e4210697ec30076424dc","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"0.2.0-git51719145f9a123a7b39dfa2f63f723b5622ad704-10.10 [skip ci]","distinct":false,"url":"https://api.github.com/repos/leanprover/homebrew-lean/commits/b4ad492013b365701ad1e4210697ec30076424dc"}]}