From 8097a7df217a9439a6089d1e762da1df37d37bec Mon Sep 17 00:00:00 2001 From: Bastian Doetsch Date: Thu, 20 Jun 2024 14:39:22 +0200 Subject: [PATCH] fix: no exit 0 (#557) --- .github/create-cli-pr.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/create-cli-pr.sh b/.github/create-cli-pr.sh index 15572cc42..d9ed13853 100755 --- a/.github/create-cli-pr.sh +++ b/.github/create-cli-pr.sh @@ -41,7 +41,7 @@ pushd $CLI_DIR echo $PUB_SIGNING_KEY > signingkey.pub git config --global user.signingkey ./signingkey.pub - git commit -am "feat: automatic integration of language server $LS_VERSION" || echo "No files to commit" && exit 0 + git commit -am "feat: automatic integration of language server $LS_VERSION" || echo "No files to commit" git push -f --set-upstream origin $BRANCH