lua-users home
lua-l archive

[Date Prev][Date Next][Thread Prev][Thread Next] [Date Index] [Thread Index]

On Tue, Jul 17, 2018 at 8:54 PM Daurnimator <> wrote:
On 18 July 2018 at 08:59, <> wrote:
> and if anyone is already there, then he could make a to stop
> ppl to open issues and pull requests there, and redirect them here
> instead :D

The idea of the lua repository is to show the *actual* development
view of lua as seen by Roberto.
Given that Roberto does not have such a readme, adding one would be
not be in the spirit of the repository.

What I can do though is edit the byline on github (as it is not part
of the git history itself).
I've appended this to it for now:
> Please DO NOT send pull requests. Send issues/patches to the Lua mailing list

If anyone has better verbiage then I'm happy to use that instead.

This might be more work than is worth it (I don't know how often people send pull requests), but you could write a bot (perhaps even in Lua?) that automatically closes all pull requests as soon as they are opened with a detailed, informative message explaining the nature of the GitHub repo, where to send ideas and bug reports, and also including a note about the closed development model of Lua. It would take some work to write the bot, but once running, I suspect it would take very little effort to keep it running.