merge queue: embarking main (15d0c78) and #10069 together#10070

2 commits merged intomainMergifyio/docs:mainfrom

mergify/merge-queue/85af3b99d9Mergifyio/docs:mergify/merge-queue/85af3b99d9Copy head branch name to clipboard