Rule: delete head branch on merged pull requests (delete_head_branch)

• closed [📌 delete_head_branch requirement]
• merged
• -author~=^dependabot(|-preview)\[bot\]$
• -head~=^(master|main|dev)$

Rule: delete head branch on merged pull requests (label)

• merged
• -author~=^dependabot(|-preview)\[bot\]$
• -head~=^(master|main|dev)$

Rule: merge PRs labeled ready-to-merge (queue)

• any of: [🔀 queue conditions]
  • all of: [📌 queue conditions of queue rule default]
    • label=ready-to-merge
    • status-success=Finish Test
• -closed [📌 queue requirement]
• -conflict [📌 queue requirement]
• -draft [📌 queue requirement]
• any of: [📌 queue -> configuration change requirements]
  • -mergify-configuration-changed
  • check-success = Configuration changed