...

.gitlab-ci.yml

@@ -30,11 +30,12 @@ gen_docs:
     - git commit -m "Document build ${CI_COMMIT_TAG} [ci skip]" || echo "Nothing to commit."
     - git remote rm origin && git remote add origin http://${GITLAB_USER_LOGIN}:${TOKEN}@scm.cms.hu-berlin.de/${CI_PROJECT_PATH}
     - git push -u origin temp-branch
-    - git branch -D temp-branch
     - git tag -d ${CI_COMMIT_TAG}
     - git tag -a ${CI_COMMIT_TAG} -m "Bump to ${CI_COMMIT_TAG} [ci skip]"
     - git push origin :refs/tags/${CI_COMMIT_TAG}
     - git push origin master:refs/tags/${CI_COMMIT_TAG}
+    - git checkout v1.2.0
+    - git branch -D temp-branch
   only:
     - tags