⚠️ The pull request has been merged by @hamdiallam

Rule: Say hi to contributors if they are not part of the regularcontributors team (comment)

• author!=@regularcontributors ⚠️ Team @regularcontributors does not exist

Rule: Say thanks (comment)

• author!=@regularcontributors ⚠️ Team @regularcontributors does not exist
• merged

Rule: Automatic merge on approval (queue)

• -draft [:pushpin: queue requirement]
• -mergify-configuration-changed [:pushpin: queue -> allow_merging_configuration_change setting requirement]
• all of:
  • #approved-reviews-by>=1
  • #changes-requested-reviews-by=0
  • #review-threads-unresolved=0
  • base==master
  • label!=do-not-merge
• any of: [:twisted_rightwards_arrows: queue conditions]
  • all of: [:pushpin: queue conditions of queue default]
    • #approved-reviews-by>=1 [🛡 GitHub branch protection]
    • #changes-requested-reviews-by=0 [🛡 GitHub branch protection]
    • #review-threads-unresolved=0 [🛡 GitHub branch protection]
    • branch-protection-review-decision=APPROVED [🛡 GitHub branch protection]

Rule: remove outdated reviews for non trusted authors (dismiss_reviews)

• all of:
  • author!=@ecopod
  • base=master

Rule: Ask to resolve conflict (comment, label)

• conflict

Rule: Remove conflicts label when conflicts gone (label)

• -conflict

Rule: Notify author when merge queue failed (comment)

• check-failure=Queue: Embarked in merge train