✨ Pull request #6385 which was ahead in the queue has been dequeued. The pull request #6391 has been re-embarked. ✨
Branch main (9883ece), #6385 and #6391 are embarked together for merge.
This pull request has been created by Mergify to speculatively check the mergeability of #6391.
You don't need to do anything. Mergify will close this pull request automatically when it is complete.
Required conditions of queuedefaultfor merge:
✨ Pull request #6385 which was ahead in the queue has been dequeued. The pull request #6391 has been re-embarked. ✨
Branch main (9883ece), #6385 and #6391 are embarked together for merge.
This pull request has been created by Mergify to speculatively check the mergeability of #6391. 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:status-success=Quality Gate
-files~=^(?!docs/|logo/)
-files~=^docs/docs/04-standard-library/[^/]+/[^/]+\.md$
#approved-reviews-by>=1
[🛡 GitHub branch protection]#changes-requested-reviews-by=0
[🛡 GitHub branch protection]#review-threads-unresolved=0
[🛡 GitHub branch protection]-files=.mergify.yml
branch-protection-review-decision=APPROVED
[🛡 GitHub branch protection]Required conditions to stay in the queue:
#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]