Re: links to 12 release notes broken after branching

On 10/30/19 7:37 PM, Andres Freund wrote:
> 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 :)

I prefer green paint on my walls ;)

Looking over the code, I need to update the comment around it anyway, so
I'll call it "is_branched", tidy up the comments, and push.

Links should be live again ~10 mins from this email.

Jonathan