Fix PL/Lua link in External Projects appendix

On Fri, Oct 16, 2020 at 10:32 AM Daniel Gustafsson <daniel@yesql.se> wrote:

The PL/Lua repository we link to in the documentation has been updated to
say
DEPRECATED, with a reference to a new repo within the same Github
organization.
The attached patch updates the url in the postgres docs to point to the
current
repo.

Should the name of it perhaps also be updated to include the "ng" part?

--
Magnus Hagander
Me: https://www.hagander.net/ <http://www.hagander.net/&gt;
Work: https://www.redpill-linpro.com/ <http://www.redpill-linpro.com/&gt;

On 16 Oct 2020, at 11:26, Magnus Hagander <magnus@hagander.net> wrote:

On Fri, Oct 16, 2020 at 10:32 AM Daniel Gustafsson <daniel@yesql.se <mailto:daniel@yesql.se>> wrote:
The PL/Lua repository we link to in the documentation has been updated to say
DEPRECATED, with a reference to a new repo within the same Github organization.
The attached patch updates the url in the postgres docs to point to the current
repo.

Should the name of it perhaps also be updated to include the "ng" part?

I don't think so, AFAICT it's only the repo which has been renamed and not the
PL or the project.

cheers ./daniel

On Fri, Oct 16, 2020 at 11:30 AM Daniel Gustafsson <daniel@yesql.se> wrote:

On 16 Oct 2020, at 11:26, Magnus Hagander <magnus@hagander.net> wrote:

On Fri, Oct 16, 2020 at 10:32 AM Daniel Gustafsson <daniel@yesql.se

<mailto:daniel@yesql.se>> wrote:

The PL/Lua repository we link to in the documentation has been updated

to say

DEPRECATED, with a reference to a new repo within the same Github

organization.

The attached patch updates the url in the postgres docs to point to the

current

repo.

Should the name of it perhaps also be updated to include the "ng" part?

I don't think so, AFAICT it's only the repo which has been renamed and not
the
PL or the project.

Ah, OK, I think I misunderstood that part.

I've pushed the patch. Thanks!

--
Magnus Hagander
Me: https://www.hagander.net/ <http://www.hagander.net/&gt;
Work: https://www.redpill-linpro.com/ <http://www.redpill-linpro.com/&gt;