Re: REL_12_STABLE branch created

On Mon, Jul 1, 2019 at 6:45 PM Jonathan S. Katz <jkatz(at)postgresql(dot)org>
wrote:

> On 7/1/19 1:03 PM, Tom Lane wrote:
> > I'm not too clear on what needs to happen on the website when
> > we fork off a release branch, but I imagine at least the docs
> > area needs some updating. Someone please?
>
> I think pgweb is in the clear.
>
> The docs updated occurs when we push out the first beta. As far as the
> website is concerned, "devel" == "HEAD" from whenever the docs are
> built. The others docs are only ever updated on release day, and as
> mentioned, 12 is already handled.
>
> I did a quick check on website content and we don't make any mention
> about branching, let alone specific branch names.
>
> Unless I'm missing something, I believe we're all set.
>

Yeah, that part is fine.And once the buildfarm animal finished once, the
website automatically updated (done already now) to show it as version 13.

--
Magnus Hagander
Me: https://www.hagander.net/ <http://www.hagander.net/>
Work: https://www.redpill-linpro.com/ <http://www.redpill-linpro.com/>