New flags for finding existing PRs

DiamondLightSource · Aug 22, 2024 · 2be0799 · 2be0799
1 parent 98d5ef9
commit 2be0799
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/scripts/create-orm-update-pull-request b/.github/workflows/scripts/create-orm-update-pull-request
@@ -8,7 +8,7 @@ echo "https://${GITHUB_TOKEN}:@github.com" > .git/credentials
 echo
 
 echo "##[section]Check for existing pull request"
-gh pr list -B ${BRANCH} | grep "orm-update" && {
+echo $( gh pr list -B ${BRANCH} -H orm-update ) && {
   echo Pull request already exists. Stopping here.
   exit
 } || {