On Tue, Apr 28, 2020 at 8:20 PM Stephen Frost <sfr...@snowman.net> wrote:
> Greetings, > > * Magnus Hagander (mag...@hagander.net) wrote: > > On Sat, Apr 25, 2020 at 1:38 AM Jonathan S. Katz <jk...@postgresql.org> > > wrote: > > > > > On 4/9/20 11:45 PM, Bruce Momjian wrote: > > > > On Thu, Apr 9, 2020 at 08:47:56PM -0400, Jonathan Katz wrote: > > > >> On 4/9/20 4:57 PM, Bruce Momjian wrote: > > > >>> Jonathan, Stephen, with the minor release done, can we focus on > adding > > > >>> the URL redirect and completing the patch to rename this feature > in the > > > >>> docs? Thanks. > > > >> > > > >> Yes, I have a prototype for this ready, which I had scrambled > together > > > >> before the release. I am happy to make it committable in the coming > > > days. > > > > > > > > Thanks. Once that is done Stephen can apply my patch with his > > > > additions. > > > > > > Please see attached patch for pgweb that allows for the documentation > to > > > be redirected from a page that is removed to a newer page. The way it > > > works: > > > > > > - Checks to see if a page is found. If it is, great! > > > - Now if a page 404s, we first check to see if there is a forwarding > > > address, i.e. the new page. If it is, we issue a 301 (permanent > redirecTt). > > > - If it's still not found, we abort. > > > > > > I believe this gives us the desired behavior. > > > > > > Thoughts on the patch? > > > > Looks good to me. Go for it. > > What's the plan for how to maintain it going forward? Just email -docs > and ask someone to perform the update whenever a release is going out..? > Or do we have some kind of better process in mind? > > GIven how seldom this happens, I think that's perfectly fine. Same as we already do with the page aliases. //Magnus