Re: links to 12 release notes broken after branching

Hi,

On 2019-10-30 19:06:49 -0400, Jonathan S. Katz wrote:
> If no objections, I can apply soon.

Cool.

> diff --git a/pgweb/docs/views.py b/pgweb/docs/views.py
> index 1480903c..daea801e 100644
> --- a/pgweb/docs/views.py
> +++ b/pgweb/docs/views.py
> @@ -80,7 +80,7 @@ def docpage(request, version, filename):
> # a) viewing the docs for a version that does not exist yet (e.g. active
> # development before an initial beta) OR
> # b) viewing the docs for a beta version
> - is_released = Version.objects.filter(tree=release_version, testing=0).exists() if version == "devel" else True
> + is_released = Version.objects.filter(tree=release_version).exists() if version == "devel" else True
> # If we are viewing a released version of the release notesand the
> # release versions do not match, then we redirect
> if is_released and release_version != ver:

I'd probably still rename is_released, given that it's only released at
a beta at that point :)

Greetings,

Andres Freund