Docs for v5.x branch and repo cleanup
We need to provide docs for the v5.x branch in the future.
We could checkout the latest tags with something like this (link1, link2):
- for v5 releases:
git checkout $(git describe --match "v5*" --abbrev=0 --tags $(git rev-list --tags --max-count=1))
- for v6 releases:
git checkout $(git describe --match "v6*" --abbrev=0 --tags $(git rev-list --tags --max-count=1))
At the moment this is done with checkout master
to provide the latest release. This could make the master branch redundant in the future so we could drop it (getting a smaller repository then).
develop
could then also be renamed to main
, with the reasoning provided here: