Update to the GitHub repository

classic Classic list List threaded Threaded
7 messages Options
Reply | Threaded
Open this post in threaded view
|

Update to the GitHub repository

Pierre Chapuis
Hello list,

not sure who can do that (daurnimator?) but apparently 5.3.5 is not on the GitHub repository [1], can someone please update it?

[1] https://github.com/lua/lua

--
Pierre Chapuis

Reply | Threaded
Open this post in threaded view
|

Re: Update to the GitHub repository

szbnwer@gmail.com
hi all! :)

and if anyone is already there, then he could make a readme.md to stop
ppl to open issues and pull requests there, and redirect them here
instead :D

all the bests 4 every1 around! :)

Reply | Threaded
Open this post in threaded view
|

Re: Update to the GitHub repository

Daurnimator
In reply to this post by Pierre Chapuis
On 16 July 2018 at 22:55, Pierre Chapuis <[hidden email]> wrote:
> not sure who can do that (daurnimator?) but apparently 5.3.5 is not on the GitHub repository [1], can someone please update it?
>
> [1] https://github.com/lua/lua

5.3.5 wasn't tagged by Roberto in the actual source files.
However I do recall a 5.3 branch recently that it appears I didn't push.
Will have a look when I get the chance (probably tomorrow night)

Reply | Threaded
Open this post in threaded view
|

Re: Update to the GitHub repository

Daurnimator
In reply to this post by szbnwer@gmail.com
On 18 July 2018 at 08:59, [hidden email] <[hidden email]> wrote:
> and if anyone is already there, then he could make a readme.md 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 https://www.lua.org/lua-l.html

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

Reply | Threaded
Open this post in threaded view
|

Re: Update to the GitHub repository

Jonathan Goble
On Tue, Jul 17, 2018 at 8:54 PM Daurnimator <[hidden email]> wrote:
On 18 July 2018 at 08:59, [hidden email] <[hidden email]> wrote:
> and if anyone is already there, then he could make a readme.md 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 https://www.lua.org/lua-l.html

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.
Reply | Threaded
Open this post in threaded view
|

Re: Update to the GitHub repository

Matthew Wild
On 18 July 2018 at 02:02, Jonathan Goble <[hidden email]> 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

Reply | Threaded
Open this post in threaded view
|

Re: Update to the GitHub repository

szbnwer@gmail.com
In reply to this post by Daurnimator
hi :)

2018-07-18 0:54 GMT+00:00 Daurnimator <[hidden email]>:
> I've appended this to it for now:
>> Please DO NOT send pull requests. Send issues/patches to the Lua mailing list https://www.lua.org/lua-l.html

thx, seems to be fine for me, i hope it will elevate the level of zen around :D