Skip to content

Conversation

@mergify
Copy link

@mergify mergify bot commented Aug 30, 2023

This is an automatic backport of pull request #9222 done by Mergify.


Mergify commands and options

More conditions and actions can be found in the documentation.

You can also trigger Mergify actions by commenting on this pull request:

  • @Mergifyio refresh will re-evaluate the rules
  • @Mergifyio rebase will rebase this PR on its base branch
  • @Mergifyio update will merge the base branch into this PR
  • @Mergifyio backport <destination> will backport this PR on <destination> branch

Additionally, on Mergify dashboard you can:

  • look at your merge queues
  • generate the Mergify configuration with the config editor.

Finally, you can contact us on https://mergify.com

(cherry picked from commit befee26) (cherry picked from commit 3a5e4f6)
@michaelklishin michaelklishin added this to the 3.11.23 milestone Aug 30, 2023
@michaelklishin michaelklishin merged commit 2c323c1 into v3.11.x Aug 30, 2023
@michaelklishin michaelklishin deleted the mergify/bp/v3.11.x/pr-9222 branch August 30, 2023 17:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

2 participants