Skip to content

Sort loadtime tool's report (backport #854)#860

Merged
sergio-mena merged 1 commit intov0.38.xfrom
mergify/bp/v0.38.x/pr-854
May 19, 2023
Merged

Sort loadtime tool's report (backport #854)#860
sergio-mena merged 1 commit intov0.38.xfrom
mergify/bp/v0.38.x/pr-854

Conversation

@mergify
Copy link
Contributor

@mergify mergify bot commented May 19, 2023

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

* Sort the report list

* Simplify

(cherry picked from commit 3003ef7)
@mergify mergify bot requested a review from a team as a code owner May 19, 2023 09:34
@sergio-mena sergio-mena self-assigned this May 19, 2023
@sergio-mena sergio-mena merged commit e9abb11 into v0.38.x May 19, 2023
@sergio-mena sergio-mena deleted the mergify/bp/v0.38.x/pr-854 branch May 19, 2023 09:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

No open projects
Status: Done

Development

Successfully merging this pull request may close these issues.

1 participant