Yes! There's a public git repo here: https://repo.or.cz/tinycc.git https://repo.or.cz/tinycc.git "Public" in the sense that anyone can just push to the "mob" br

Yes! There's a public git repo here: https://repo.or.cz/tinycc.git https://repo.or.cz/tinycc.git "Public" in the sense that anyone can just push to the "mob" branch. You don't even need an account. Such anarchy has obvious security implications but has worked remarkably well in practice. There's a mailing list too.