Improve documentation management during the release
After we released 10.1.0 we had a period of a few weeks where we still had the 10.1.0-rc2 documentation and the 10.0.2 documentation was the default. It wasn't until we re-enabled the pages job on main that this was fixed. We should improve the automation here to make this a little better: - We should run the pages job when the tag the actual release, to include that version - We should use a GitLab CI/CD variable to disable the pages job, rather than having to comment something out. - It would also be nice if we could have the pages job "manual" when it is disabled, so we can run it if we really want to anyway.
issue