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

Refactor normalization methods for consistency and clarity. #257

Merged
merged 4 commits into from
Dec 16, 2024

Refactor CompileCommandTest and update PHPStan configurations

cbe61fe
Select commit
Loading
Failed to load commit list.
Merged

Refactor normalization methods for consistency and clarity. #257

Refactor CompileCommandTest and update PHPStan configurations
cbe61fe
Select commit
Loading
Failed to load commit list.
Mergify / Summary succeeded Dec 16, 2024 in 0s

2 potential rules

⚠️ The pull request has been merged by @Spomky

Rule: Automatic merge (merge)

  • -closed [📌 merge requirement]
  • label = automerge
  • #commits-behind = 0 [🛡 GitHub branch protection]
  • #review-threads-unresolved = 0 [🛡 GitHub branch protection]
  • -conflict [📌 merge requirement]
  • -draft [📌 merge requirement]
  • any of: [📌 merge -> configuration change requirements]
    • -mergify-configuration-changed
    • check-success = Configuration changed

Rule: Label conflicting pull requests (label)

  • -closed
  • conflict

💖  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