> Because of this development style, we prefer not to have a public repository for Lua.

Note that I eventually convinced Roberto that it was worth having a public github repository even just to show the history and evolution. https://github.com/lua/lua