⚠️ The pull request has been merged by @lorisleiva

Rule: Add community label to outside contributions (label)

• author≠@core-contributors ⚠️ Team @core-contributors does not exist
• author≠@spl-maintainers ⚠️ Team @spl-maintainers does not exist
• author≠@spl-triage ⚠️ Team @spl-triage does not exist
• author≠@spl-write ⚠️ Team @spl-write does not exist
• author≠dependabot[bot]
• author≠github-actions[bot]
• author≠mergify[bot]

Rule: Automatic merge (squash) on CI success (queue)

• -closed [📌 queue requirement]
• all of:
  • label=automerge
  • label!=no-automerge
  • status-success=all-web3-checks
• -conflict [📌 queue requirement]
• -draft [📌 queue requirement]
• any of: [📌 queue -> configuration change requirements]
  • -mergify-configuration-changed
  • check-success = Configuration changed
• any of: [🔀 queue conditions]
  • all of: [📌 queue conditions of queue default]
    • #approved-reviews-by >= 1 [🛡 GitHub repository ruleset rule]
    • #changes-requested-reviews-by = 0 [🛡 GitHub repository ruleset rule]

Rule: Remove automerge label on CI failure (comment, label)

• #status-failure!=0
• label=automerge