[Date Prev][Date Next][Thread Prev][Thread Next]
[Date Index]
[Thread Index]
- Subject: Re: Update to the GitHub repository
- From: Matthew Wild <mwild1@...>
- Date: Wed, 18 Jul 2018 08:34:48 +0100
On 18 July 2018 at 02:02, Jonathan Goble <jcgoble3@gmail.com> wrote:
> 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.
Someone already hosts a bot for this: http://nopullrequests.com/
Regards,
Matthew