Repository navigation

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

Merged

anth-volk merged 9 commits into

mainfrom

pr-description-check

Oct 26, 2026

Merged

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

Commits on Oct 26, 2026
- Read the tracking issue number from a PR description's first line
  
  anth-volk
  and
  claude
  committed
  d68f9f6
- Confirm the issue a PR description names is open and in this repository
  
  anth-volk
  and
  claude
  committed
  e158830
- Run the PR description check on every pull request event that can change it
  
  anth-volk
  and
  claude
  committed
  5f50447
- Name a tracking issue on the first line of dependency-update PRs
  
  anth-volk
  and
  claude
  committed
  0b87d36
- Enforce sim.process.pr-tracking-issue with the PR description job
  
  anth-volk
  and
  claude
  committed
  9feec3e
- Skip the PR description check on closed pull requests
  
  anth-volk
  and
  claude
  committed
  34f8097
- Say every PR needs a tracking issue, and test two more lookup paths
  
  anth-volk
  and
  claude
  committed
  7445d63
- Say the PR description check runs on open pull requests
  
  anth-volk
  and
  claude
  committed
  f491355
- Point the tracking-issue proof at the locked pytest command
  
  anth-volk
  and
  claude
  committed
  2114284