fix: Skip auto-closing PRs with "pinned" label (#11991)

Co-authored-by: Claude Opus 4.6 <noreply@anthropic.com>
2026-05-12 21:30:50 -05:00 · 2026-04-09 20:27:19 -04:00
parent fdb0d84e13
commit c72346b799
1 changed files with 6 additions and 0 deletions
@@ -31,6 +31,12 @@ jobs:

              if (prAge < TWO_WEEKS) continue;

+              const hasSkipLabel = pr.labels.some(label =>
+                label.name === 'pinned'
+              );
+
+              if (hasSkipLabel) continue;
+
              const comments = await github.rest.issues.listComments({
                owner: context.repo.owner,
                repo: context.repo.repo,