Support GitHub merge queue in git-merge-pr #5780
Description
Checklist
- I've searched the issue queue to verify this is not a duplicate feature request.
- I've pasted the output of
kargo version, if applicable. - I've pasted logs, if applicable.
Proposed Feature
git-merge-pr could support GitHub merge queues. This would enable to use kargo in repositories with merge queue enabled without relying on an external workaround.
Motivation
We use kargo in a repository where we configure image versions for multiple services that are independently deployed, but are parts of the same application.
To prevent service deployments from blocking each other, we use the GitHub merge queue feature. This is currently not available in kargo.
While #5127 added more information to the documentation and the appropriate status, when using git-merge-pr on a repository with merge queue enabled, the error
an unrecoverable error occurred: error running step "step-6": error merging pull request 13: error merging pull request 13: PUT https://api.github.com/repos/org/repo/pulls/pr-number/merge: 405 Merge commits are not allowed on this repository. []
still occurs in kargo 1.9.3.