Skip to content

Merge queue: land every pull request as a merge commit; allow only merge commits - #8

Merged
georgeh0 merged 1 commit into
mainfrom
queue-merge-commits
Oct 24, 2026
Merged

georgeh0 merged 1 commit into
mainfrom
queue-merge-commits

Commits

  1. Commits on Oct 24, 2026