git checkout develop
git pull origin develop
git checkout main
git merge develop
git push origin
git tag x.x.x
git push --tags
Checkout forked repositories:
git remote -v
git remote add upstream https://github.com/acdh-oeaw/openatlas-discovery.git
git fetch --all --tags
git checkout develop
git rebase upstream/develop
git log --oneline
git push --force
git push --tags