rnk wrote: OK, github is having issues (see [PSA](https://discourse.llvm.org/t/psa-project-wide-issue-with-merging-pull-requests-in-the-github-ui/91974)), please rebase this change and repush it and I'll retry merging it. https://github.com/llvm/llvm-project/pull/154946