fix: deploying tags [skip ci]

Author: oesteban

.github/workflows/docs-build-update.yml

@@ -8,7 +8,6 @@ on:
 
 jobs:
   build:
-    if: "!contains(github.event.head_commit.message, '[skip ci]')"
     runs-on: ubuntu-latest
 
     steps:
@@ -51,7 +50,7 @@ jobs:
               echo "Could not identify release series"
               exit 1
           fi
-          git checkout gh-pages
+          git checkout -b gh-pages origin/gh-pages
           git pull
           git rm -r ${MAJOR_MINOR}/
           # It is fundamental that the directory does not exist at all.
@@ -67,7 +66,7 @@ jobs:
               echo "$CURBRANCH is not the default development branch"
               exit 1
           fi
-          git checkout gh-pages
+          git checkout -b gh-pages origin/gh-pages
           git pull
           git rm -r master/
           # It is fundamental that the directory does not exist at all.