docs: print branches before and after rename while building

.gitlab-ci.yml

@@ -62,9 +62,11 @@ 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 branch
     - mkdir public
     - cd docs
     - make versionedhtml