From 74e5b0899d0af98e7d926a6c4af750414699345f Mon Sep 17 00:00:00 2001 From: paoloredis Date: Thu, 22 Aug 2024 15:42:02 +0200 Subject: [PATCH] Fix filter in gh search in redis_docs_sync workflow --- .github/workflows/redis_docs_sync.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/redis_docs_sync.yaml b/.github/workflows/redis_docs_sync.yaml index d108836809..904011be74 100644 --- a/.github/workflows/redis_docs_sync.yaml +++ b/.github/workflows/redis_docs_sync.yaml @@ -93,7 +93,7 @@ jobs: # If a pr is not already open, create one set +e - gh search prs -R redis/docs --state open --match title "redis docs ${RELEASE}" | grep -q "redis docs ${RELEASE}" + gh search prs -R redis/docs --state open --match title "redis docs sync ${RELEASE}" | grep -q "redis docs sync ${RELEASE}" if [ "$?" -eq 1 ]; then set -e gh pr create \