diff options
| author | flip1995 <hello@philkrones.com> | 2020-02-27 17:56:39 +0100 |
|---|---|---|
| committer | flip1995 <hello@philkrones.com> | 2020-02-27 18:03:30 +0100 |
| commit | f8224977b1948c1b0fe4395da9516ca68557e7c8 (patch) | |
| tree | 1e24e91621b512d0e4768e03372c5e6eb11b806f /.github/deploy.sh | |
| parent | 610bceae716e9c68f899a56823bdd356d4c4f37e (diff) | |
Fix deploy script for tag deploys
Diffstat (limited to '.github/deploy.sh')
| -rw-r--r-- | .github/deploy.sh | 14 |
1 files changed, 12 insertions, 2 deletions
diff --git a/.github/deploy.sh b/.github/deploy.sh index b1f572d2b45..9ef9678ee92 100644 --- a/.github/deploy.sh +++ b/.github/deploy.sh @@ -33,7 +33,17 @@ if git diff --exit-code --quiet; then exit 0 fi -git add . -git commit -m "Automatic deploy to GitHub Pages: ${SHA}" +if [[ -n $TAG_NAME ]]; then + # Add the new dir + git add $TAG_NAME + # Update the symlink + git add stable + # Update versions file + git add versions.json + git commit -m "Add documentation for ${TAG_NAME} release: ${SHA}" +else + git add . + git commit -m "Automatic deploy to GitHub Pages: ${SHA}" +fi git push "$SSH_REPO" "$TARGET_BRANCH" |