{{ message }}
gh pr merge --delete-branch exits with error when merge requested via merge queue#10074
Merged
BagToad merged 2 commits intoDec 12, 2024
Merged
