Skip to content

merge queue: embarking main (45e2c25) and #2766 together#2767

Closed
mergify[bot] wants to merge 2 commits into
mainfrom
mergify/merge-queue/f0a4e69db0
Closed

merge queue: embarking main (45e2c25) and #2766 together#2767
mergify[bot] wants to merge 2 commits into
mainfrom
mergify/merge-queue/f0a4e69db0

Conversation

@mergify

@mergify mergify Bot commented Jul 11, 2023

Copy link
Copy Markdown
Contributor

🎉 This pull request has been checked successfully and will be merged. 🎉

Branch main (45e2c25) and #2766 are embarked together for merge.

This pull request has been created by Mergify to speculatively check the mergeability of #2766.
You don't need to do anything. Mergify will close this pull request automatically when it is complete.

Required conditions of queue default for merge:

Visit the Mergify Dashboard to check the state of the queue default.


More information about Mergify merge queue can be found in the documentation.

Mergify commands

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

  • @Mergifyio refresh will re-evaluate the queue rules

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

---
pull_requests:
  - number: 2766
...

@mergify mergify Bot closed this Jul 11, 2023
@mergify mergify Bot deleted the mergify/merge-queue/f0a4e69db0 branch July 11, 2023 16:36
@github-actions

Copy link
Copy Markdown
Contributor

There are no incompatible changes

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.

0 participants