Merge Stacked PRs with `merge` command#307

Draft

skarim wants to merge 7 commits into

mainfrom

skarim/merge-cmd

GitHub Advanced Security / CodeQL succeeded Jul 26, 2026 in 2s

No new alerts in code changed by this pull request

View all branch alerts.