[daurnimator]

> 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

[boffinAudio]

As a long-time Lua user (it just f'in ROCKS!) I can honestly say: Thank goodness you did get Roberto to add this public repository!

It has been immensely valuable when porting code from Lua 5.1 -> 5.3, to see the changes in the repo over time.