fix: deploying tags [skip ci]
@@ -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.
