🎉 This pull request has been checked successfully and will be merged soon. 🎉

Branch 2.9.x (4a93004) and #13463 are embarked together for merge.

This pull request has been created by Mergify to speculatively check the mergeability of #13463.
You don't need to do anything. Mergify will close this pull request automatically when it is complete.

Required conditions of queue default for merge:

• #approved-reviews-by >= 1 [🛡 GitHub branch protection]
  • [2.9.x] fix "match may not be exhaustive" warning (backport #13441) by @xuwei-k #13463
• #changes-requested-reviews-by = 0 [🛡 GitHub branch protection]
  • [2.9.x] fix "match may not be exhaustive" warning (backport #13441) by @xuwei-k #13463
• any of [🛡 GitHub branch protection]:
  • check-success = Finish / Ready To Merge
  • check-neutral = Finish / Ready To Merge
  • check-skipped = Finish / Ready To Merge

Required conditions to stay in the queue:

• #approved-reviews-by >= 1 [🛡 GitHub branch protection]
  • [2.9.x] fix "match may not be exhaustive" warning (backport #13441) by @xuwei-k #13463
• #changes-requested-reviews-by = 0 [🛡 GitHub branch protection]
  • [2.9.x] fix "match may not be exhaustive" warning (backport #13441) by @xuwei-k #13463
• check-success~=/ Ready To Merge$
  • [2.9.x] fix "match may not be exhaustive" warning (backport #13441) by @xuwei-k #13463
• any of [🛡 GitHub branch protection]:
  • check-success = Finish / Ready To Merge
    • [2.9.x] fix "match may not be exhaustive" warning (backport #13441) by @xuwei-k #13463
  • check-neutral = Finish / Ready To Merge
    • [2.9.x] fix "match may not be exhaustive" warning (backport #13441) by @xuwei-k #13463
  • check-skipped = Finish / Ready To Merge
    • [2.9.x] fix "match may not be exhaustive" warning (backport #13441) by @xuwei-k #13463

---
checking_base_sha: 4a930044e8bc7a67d1964b605b9cb93759e05a0f
previous_failed_batches: []
pull_requests:
  - number: 13463
...