doc: add description of Mergify commands for merging a PR

Signed-off-by: Niels de Vos <ndevos@ibm.com>
This commit is contained in:
Niels de Vos 2024-08-07 13:59:16 +02:00 committed by mergify[bot]
parent 4a46ffd2b7
commit d06497cf32

View File

@ -278,8 +278,11 @@ need to be met before it will be merged:
on the PR. The bot will merge the PR if it's having one approval and the on the PR. The bot will merge the PR if it's having one approval and the
label `ready-to-merge`. label `ready-to-merge`.
When the criteria are met, a project maintainer can merge your changes into When the criteria are met, a project maintainer can instruct the Mergify bot to
the project's devel branch. queue the PR for merging. This usually is done by leaving two comments:
* `@mergifyio rebase` to rebase on the latest HEAD of the branch
* `@mergifyio queue` once the rebasing is done, to add the PR to the merge queue
### Backport a Fix to a Release Branch ### Backport a Fix to a Release Branch