Skip to content

Conversation

mergify[bot]
Copy link

@mergify mergify bot commented Mar 16, 2023

This is an automatic backport of pull request #7640 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

Otherwise they do not appear to be selectable in the github branch
protection rules UI

(cherry picked from commit 9467c2e)
@HoloRin HoloRin merged commit cedc6ed into v3.12.x Mar 16, 2023
@mergify mergify bot deleted the mergify/bp/v3.12.x/pr-7640 branch March 16, 2023 13:58
HoloRin added a commit that referenced this pull request Mar 16, 2023
Give each of the summary jobs in actions different names (backport #7640) (backport #7643)
HoloRin added a commit that referenced this pull request Mar 16, 2023
Give each of the summary jobs in actions different names (backport #7640) (backport #7643) (backport #7648)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant