From 20d285a89e8bcda9add423fd08311d812183db46 Mon Sep 17 00:00:00 2001
From: Bruno Rodrigues <bruno@brodrigues.co>
Date: Thu, 11 Jul 2024 13:41:02 +0200
Subject: [PATCH] should not reopen pr's now

---
 .github/workflows/make_inst_default.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/make_inst_default.yaml b/.github/workflows/make_inst_default.yaml
index ba3343a3..c0a5a3df 100644
--- a/.github/workflows/make_inst_default.yaml
+++ b/.github/workflows/make_inst_default.yaml
@@ -34,7 +34,7 @@ jobs:
       - name: Check if PR exists
         id: check_pr
         run: |
-          PR=$(gh pr list --base update_default.nix --state open --json number --jq '.[0].number')
+          PR=$(gh pr list -S 'Update default.nix' --json number --jq '.[0].number')
           echo "PR_NUMBER=$PR" >> $GITHUB_ENV
 
       - name: Push changes to update_default.nix branch