From 49fde02ef2fb556c0c336adcf7333d39b788f535 Mon Sep 17 00:00:00 2001 From: Khosrow Moossavi Date: Wed, 18 Sep 2024 12:57:21 -0400 Subject: [PATCH] ci: fix release scripts Signed-off-by: Khosrow Moossavi --- .github/scripts/contributors.sh | 7 ------- .github/scripts/release.sh | 7 ------- 2 files changed, 14 deletions(-) diff --git a/.github/scripts/contributors.sh b/.github/scripts/contributors.sh index 45709f6..a3161d0 100755 --- a/.github/scripts/contributors.sh +++ b/.github/scripts/contributors.sh @@ -11,13 +11,6 @@ set -o errexit set -o pipefail -CURRENT_BRANCH=$(git rev-parse --abbrev-ref HEAD) - -if [ -z "${CURRENT_BRANCH}" ] || [ "${CURRENT_BRANCH}" != "master" ]; then - echo "Error: The current branch is '${CURRENT_BRANCH}', switch to 'master' to do the release." - exit 1 -fi - if [ -n "$(git status --short)" ]; then echo "Error: There are untracked/modified changes, commit or discard them before the release." exit 1 diff --git a/.github/scripts/release.sh b/.github/scripts/release.sh index afffc7b..98a7af4 100755 --- a/.github/scripts/release.sh +++ b/.github/scripts/release.sh @@ -11,13 +11,6 @@ set -o errexit set -o pipefail -CURRENT_BRANCH=$(git rev-parse --abbrev-ref HEAD) - -if [ -z "${CURRENT_BRANCH}" ] || [ "${CURRENT_BRANCH}" != "master" ]; then - echo "Error: The current branch is '${CURRENT_BRANCH}', switch to 'master' to do the release." - exit 1 -fi - if [ -n "$(git status --short)" ]; then echo "Error: There are untracked/modified changes, commit or discard them before the release." exit 1