Skip to content

Conversation

@mergify
Copy link

@mergify mergify bot commented Jun 20, 2023

This is an automatic backport of pull request #8636 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 c348af1)
@michaelklishin michaelklishin merged commit 6601042 into v3.12.x Jun 20, 2023
@michaelklishin michaelklishin deleted the mergify/bp/v3.12.x/pr-8636 branch June 20, 2023 19:50
michaelklishin added a commit that referenced this pull request Jun 20, 2023
List #8629 and #8630 in 3.11.19 release notes (backport #8636) (backport #8637)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

1 participant