feat(github-project): document PR merge, branch protection, and CodeQL gotchas#72

Merged

CybotTM merged 3 commits intomainfrom

feat/cross-project-pr-and-merge-gotchas

May 5, 2026

Commits on May 5, 2026

feat(github-project): document PR merge, branch protection, and CodeQL gotchas
CybotTM
committed
fix(github-project): use GraphQL Repository.mergeQueue for queue detection
CybotTM
committed
fix(github-project): auto-detect allowed merge strategy in --delete-branch snippet
CybotTM
committed