> On 25 Aug 2023, at 14:22, Magnus Hagander <mag...@hagander.net> wrote: > On Tue, Aug 22, 2023 at 4:03 PM Joe Conway <m...@joeconway.com> wrote:
>> I'm sure we could figure out how to just release the updated docs, but >> with RC1 a week away, is it really worthwhile? > > We've also been pretty strict to say that we don't *want* unreleased > docs on the website for any of our stable branches before, so changing > that would be a distinct policy change as well. And doing such an > exception for just one commit seems like it's set up for problems -- > you'd then have to do another one as soon as an adjustment is made. > And in the end, that would mean changing the policy to say that the > "release branches documentation tracks branch tip instead of > releases". Which I generally speaking don't think is a good idea, > because then they don't match what people are running anymore. I think > it only really makes sense for this one part of the docs -- even other > changes to the REL16 docs should be excluded until the next release is > (this time, RC1). > > Bottom line is, definite -1 for doing a one-off change that violates > the principle we're on. Based on your reasoning above, I agree. > Now, if we want a *separate* location where we continuously load > branch tip docs that's a different thing and certainly something we > could consider. That could be useful, seeing changes rendered with the full website style is a good way to ensure a doc patch didn't break something subtle. As long as keep them from being indexed by search engines and clearly separated from /docs/ it should be fine. -- Daniel Gustafsson