Add doc versioning with mike
Use mike (https://github.com/jimporter/mike) to deploy multiple docs version to a git branch name pages
Inside pages branch, versions are stored like this:
public/
1.0/
1.1/
2.0/
index.html
versions.json
CI jobs push to that branch to replace previous build for a version or add new version. This is all done by mike deploy
command.
At the end of the job, the content of the branch is copied into public/
folder, which is a reserved folder to deploy html to gitlab-pages.