docs: more testing in production

.gitlab-ci.yml

@@ -62,15 +62,16 @@ pages:
   rules:
     - if: $CI_COMMIT_BRANCH == "main"
   script:
-    - git branch
-    - git tag | xargs git tag -d
-    - git branch | sed -e 's/..//' | grep '^release/' | while read b; do git branch -m "$b" "v${b#release/}"; done
-    - git branch -m main dev
+    - git checkout main
+    - git checkout -b dev
+    - git branch --all
+    - git branch --all | sed -e 's/..//' | grep '^remotes/origin/release/' | while read b; do git checkout "v${b#remotes/origin/release/} "${b#remotes/}"; done
+    - git checkout dev
     - git branch
     - mkdir public
     - cd docs
     - make versionedhtml
-    - cp -r _build/$(git tag --sort=version:refname | tail -n1)/* _build/
+    - cp -r _build/$(git branch --sort=version:refname | tail -n1)/* _build/
     - python redirects.py
     - cp -r _build/* ../public/
     - find ../public/