mirror of
https://github.com/postgres/pgweb.git
synced 2025-08-10 00:42:06 +00:00

When a new PostgreSQL branch is created, any "devel" notes for that branch become immediately unavailable, which would make any shared devel links around that dead. This adjusts this logic such that any release notes for a release, beta or otherwise, is now available by redirect the user to the release notes' permanent home. Reported By: Andres Freund <andres@anarazel.de>, who also mostly authored the patch over email.