Repository navigation

Use the merge queue for pull requests that require it - #2452

Merged

bradseiler merged 2 commits into

mainfrom

honor/github-merge-queue

Nov 4, 2026

Merged

Use the merge queue for pull requests that require it#2452
bradseiler merged 2 commits into
mainfrom
honor/github-merge-queue

Commits on Nov 4, 2026
- fix(github): queue pull requests when the target requires it
  
  bradseiler
  and
  Honor
  committed
  0668fd4
- Merge main to include the agent-harness CI fix
  bradseiler
  committed
  d2583ff