Niels de Vos ef1d589caa ci: use requeue instead of refresh for re-adding PRs to the queue ...

The current version of Mergify provides a `requeue` command in addition
to `refresh`. After a CI job failed, the PR needs to be re-added to the
queue, so the `requeue` command is more appropriate.

Signed-off-by: Niels de Vos <ndevos@redhat.com>

2022-04-20 12:38:46 +00:00

..

retest

ci: use requeue instead of refresh for re-adding PRs to the queue

2022-04-20 12:38:46 +00:00