On Tue, 17 Oct 2023 at 22:16, sebb wrote:
>
> Something went wrong with the publication of the dev staging files from
> 3.3-RC2.
>
> The commit [1] should have included the 6 HEADER.html and README.html
> files from the staging site, however these were left behind, e.g. [2]
On further investigat
Something went wrong with the publication of the dev staging files from 3.3-RC2.
The commit [1] should have included the 6 HEADER.html and README.html
files from the staging site, however these were left behind, e.g. [2]
They can easily be moved, but it would be useful to know why this step
did n
