Merge pull request #339 from dahlia/more-robust-release-script

Do not avoid publishing packages/docs for tag pushes
planetarium · Jul 8, 2019 · 940e43b · 940e43b
2 parents 18ffa43 + 85a13ac
commit 940e43b
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/.github/bin/dist-nuget.sh b/.github/bin/dist-nuget.sh
@@ -23,6 +23,7 @@ fi
 # and the branch is for releases (master or maintenance-*).
 # shellcheck disable=SC2235
 if [ "$GITHUB_REPOSITORY" != "planetarium/libplanet" ] || (
+    [ "$GITHUB_REF" = "${GITHUB_REF#refs/tags/}" ] &&
     [ "$GITHUB_REF" != refs/heads/master ] &&
     [ "$GITHUB_REF" = "${GITHUB_REF#refs/heads/maintenance-}" ] ); then
   alias dotnet="echo DRY-RUN: dotnet"

diff --git a/Docs/publish.sh b/Docs/publish.sh
@@ -42,6 +42,7 @@ if [ "$GITHUB_EVENT_NAME" = "pull_request" ]; then
   slug="pulls/$pr_number"
 else
   if [ "$GITHUB_REPOSITORY" = "planetarium/libplanet" ] && \
+     [ "$GITHUB_REF" = "${GITHUB_REF#refs/tags/}" ] &&
      [ "$GITHUB_REF" != refs/heads/master ] && \
      [ "$GITHUB_REF" = "${GITHUB_REF#refs/heads/maintenance-}" ]; then
     echo "This branch is not for releases, so docs won't be published." \