Rule: Comment when a pull request is merged (comment)

• merged

Rule: Comment if there is a conflict (comment)

• conflict

Rule: Automatic update of the pull requests (update)

• #commits-behind > 0 [📌 update requirement]
• -closed [📌 update requirement]
• -conflict [📌 update requirement]
• -merged
• queue-position = -1 [📌 update requirement]

Rule: Automatically queue valid Bot PRs (queue)

• -closed [📌 queue requirement]
• check-success = Check Dependency Compatibility
• any of: [🔀 queue conditions]
  • all of: [📌 queue conditions of queue rule default]
    • all of:
      • check-success = Check Dependency Compatibility
      • check-success = CodeRabbit
      • check-success = Run Tests
      • check-success = CodeFactor
      • check-success = CodeQL
      • check-success = DeepSource: Python
      • check-success = DeepSource: Secrets
      • check-success = GitGuardian Security Checks
      • check-success = SonarCloud
• -conflict [📌 queue requirement]
• -draft [📌 queue requirement]
• author != MH0386
• any of: [📌 queue -> configuration change requirements]
  • -mergify-configuration-changed
  • check-success = Configuration changed
• any of: [📌 queue requirement]
  • check-neutral = Mergify Merge Protections
  • check-skipped = Mergify Merge Protections
  • check-success = Mergify Merge Protections

Rule: Add a queue label when PR is queued (label)

• queue-position > 0

Rule: Notify when a PR is removed from the queue (comment)

• queue-dequeue-reason != none
• queue-dequeue-reason != pr-merged