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