From bd94df47abdf98bb6bff06b17a77ae1aed0d9884 Mon Sep 17 00:00:00 2001
From: bbhtt <bbhtt.zn0i8@slmail.me>
Date: Wed, 6 Nov 2024 21:27:18 +0530
Subject: [PATCH] lock-prs: Respect leave-open label too

---
 .github/workflows/lock-prs.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/lock-prs.yml b/.github/workflows/lock-prs.yml
index 62ca306..bcfd067 100644
--- a/.github/workflows/lock-prs.yml
+++ b/.github/workflows/lock-prs.yml
@@ -2,7 +2,7 @@ name: "Lock closed PRs"
 
 on:
   schedule:
-  - cron: "0 */8 * * *"
+  - cron: "0 */6 * * *"
   workflow_dispatch:
   workflow_call:
 
@@ -16,7 +16,7 @@ jobs:
 
           for num in $cmd; do
             if [ "$(gh api repos/$REPO/issues/$num --jq '.locked')" = "false" ]; then
-              if ! gh pr view --repo "$REPO" --json labels -q '.labels[].name' $num|grep -qE "^Stale$"; then
+              if ! gh pr view --repo "$REPO" --json labels -q '.labels[].name' $num|grep -qE "^(Stale|leave-open)$"; then
                 echo "Locking pull request $num"
                 gh pr lock --repo "$REPO" --reason "resolved" "$num"
               fi