From f8224977b1948c1b0fe4395da9516ca68557e7c8 Mon Sep 17 00:00:00 2001 From: flip1995 Date: Thu, 27 Feb 2020 17:56:39 +0100 Subject: [PATCH] Fix deploy script for tag deploys --- .github/deploy.sh | 14 ++++++++++++-- 1 file changed, 12 insertions(+), 2 deletions(-) diff --git a/.github/deploy.sh b/.github/deploy.sh index b1f572d2b455..9ef9678ee92d 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"