Repository navigation

ci: close community PRs that are not linked to an issue - #1633

Open

vishxrad wants to merge 4 commits into

mainfrom

ci/require-linked-issue

Open

ci: close community PRs that are not linked to an issue#1633
vishxrad wants to merge 4 commits into
mainfrom
ci/require-linked-issue

Commits on Nov 13, 2026
- ci: close community PRs that are not linked to an issue
  
  vishxrad
  and
  claude
  committed
  b94be94
- ci: only accept closing references to open issues; let maintainers override
  
  vishxrad
  and
  devin-ai-integration[bot]
  committed
  fd2eab1
- ci: queue linked-issue runs instead of cancelling them
  
  vishxrad
  and
  devin-ai-integration[bot]
  committed
  e77d567
- ci: rely on GitHub's closing references instead of parsing the description
  
  vishxrad
  and
  devin-ai-integration[bot]
  committed
  fc54920