Update .github/workflows/pr-release.yml

Co-authored-by: Joachim Breitner <[email protected]>
leanprover · Jan 20, 2024 · bb27c31 · bb27c31
1 parent bdde13e
commit bb27c31
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/pr-release.yml b/.github/workflows/pr-release.yml
@@ -239,7 +239,7 @@ jobs:
           git config user.name "leanprover-community-mathlib4-bot"
           git config user.email "[email protected]"
 
-          if git ls-remote --heads --tags origin | grep -q "refs/\(heads\|tags\)/nightly-testing-${MOST_RECENT_NIGHTLY}"; then
+          if git ls-remote --heads --tags --exit-code origin "nightly-testing-${MOST_RECENT_NIGHTLY}" >/dev/null; then
             BASE="nightly-testing-${MOST_RECENT_NIGHTLY}"
           else
             echo "This shouldn't be possible: couldn't find a 'nightly-testing-${MOST_RECENT_NIGHTLY}' branch at Mathlib. Falling back to 'nightly-testing'."