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.