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