Repository navigation

Check that every PR description starts with Fixes #N for an open issue - #862

Draft

anth-volk wants to merge 9 commits into

mainfrom

pr-description-check

Draft

Check that every PR description starts with Fixes #N for an open issue#862
anth-volk wants to merge 9 commits into
mainfrom
pr-description-check

Commits on Oct 22, 2026
- Read the tracking issue number from a PR description's first line
  
  anth-volk
  and
  claude
  committed
  5fe5f36
- Confirm the issue a PR description names is open and in this repository
  
  anth-volk
  and
  claude
  committed
  95664ca
- Run the PR description check on every pull request event that can change it
  
  anth-volk
  and
  claude
  committed
  fa5309d
- Name a tracking issue on the first line of dependency-update PRs
  
  anth-volk
  and
  claude
  committed
  bc691df
- Enforce sim.process.pr-tracking-issue with the PR description job
  
  anth-volk
  and
  claude
  committed
  a84ef36
- Skip the PR description check on closed pull requests
  
  anth-volk
  and
  claude
  committed
  c626127
- Say every PR needs a tracking issue, and test two more lookup paths
  
  anth-volk
  and
  claude
  committed
  14190b9
- Say the PR description check runs on open pull requests
  
  anth-volk
  and
  claude
  committed
  7f75474
- Point the tracking-issue proof at the locked pytest command
  
  anth-volk
  and
  claude
  committed
  810d60d