Commits on May 11, 2023

1. 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: Mergifyio/mergify#5088
   Signed-off-by: Niels de Vos <ndevos@ibm.com>

   

   nixpanic committed May 11, 2023
   Configuration menu

   • View commit details
   • Copy full SHA for 97307f5
   • Browse repository at this point

   Copy the full SHA

   97307f5 View commit details

   Browse the repository at this point in the history