4 Commits

Author	SHA1	Message	Date
Niels de Vos	52ebfa6b97	ci: include ci/skip/.. labels for copying into merge queue PRs ... Setting an empty `labels:` fails to work as intended, no labels get copied ad all. Now setting the `ci/skip/..` labels, as those are most important for speeding up merging. Signed-off-by: Niels de Vos <ndevos@ibm.com>	2023-05-15 12:47:40 +00:00
Niels de Vos	745d2ace92	ci: Mergify copy-labels requires empty string for labels: ... Instead of leaving the `labels:` empty, pass an empty string `""`. Signed-off-by: Niels de Vos <ndevos@ibm.com>	2023-05-15 08:03:28 +00:00
Niels de Vos	40eff59d45	ci: Mergify copy-labels requires empty labels: value ... See-also: Mergifyio/mergify#5088 Signed-off-by: Niels de Vos <ndevos@ibm.com>	2023-05-15 07:24:04 +00:00
Niels de Vos	c37ac53cbb	ci: add GitHub Workflow to copy labels in Mergify created PRs ... When Mergify creates a PR, the `ok-to-test` label needs to be added before CI runs. Not all PRs need complete testing, and they may have some `ci/skip/..` labels too. With this new GitHub Workflow, the labels get copied from the original PR into the newly created PR. See-also: https://github.com/Mergifyio/mergify/discussions/5088 Signed-off-by: Niels de Vos <ndevos@ibm.com>	2023-05-11 11:05:46 +00:00