Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

🔧 Fix README (backport #1050) #1052

Merged
merged 1 commit into from
Feb 18, 2024
Merged

🔧 Fix README (backport #1050) #1052

merged 1 commit into from
Feb 18, 2024

Conversation

mergify[bot]
Copy link
Contributor

@mergify mergify bot commented Feb 18, 2024

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

@bmagyar bmagyar merged commit b1955c6 into iron Feb 18, 2024
@bmagyar bmagyar deleted the mergify/bp/iron/pr-1050 branch February 18, 2024 20:20
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants