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