Skip to content
New issue

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

By clicking β€œSign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

chore: update cats-core from 2.12.0 to 2.13.0 #344

Open
wants to merge 1 commit into
base: main
Choose a base branch
from

chore: update cats-core from 2.12.0 to 2.13.0

48ad28e
Select commit
Loading
Failed to load commit list.
Open

chore: update cats-core from 2.12.0 to 2.13.0 #344

chore: update cats-core from 2.12.0 to 2.13.0
48ad28e
Select commit
Loading
Failed to load commit list.
Mergify / Summary succeeded Jan 21, 2025 in 1s

2 potential rules

Rule: Automatic merge on successful tests by PR from jona7o (Scala Steward) (merge)

  • status-success~=test
  • #commits-behind = 0 [πŸ›‘ GitHub branch protection]
  • #review-threads-unresolved = 0 [πŸ›‘ GitHub branch protection]
  • -closed [πŸ“Œ merge requirement]
  • -conflict [πŸ“Œ merge requirement]
  • -draft [πŸ“Œ merge requirement]
  • author=jona7o
  • any of: [πŸ“Œ merge -> configuration change requirements]
    • -mergify-configuration-changed
    • check-success = Configuration changed

Rule: delete head branch after merge (delete_head_branch)

  • closed [πŸ“Œ delete_head_branch requirement]
  • merged

πŸ’–  Mergify is proud to provide this service for free to open source projects.

πŸš€  You can help us by becoming a sponsor!


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