chencha3 wrote: > If you can get a fast approval, sure. Otherwise, you can merge it without approval, or just revert the original commit. merged it, I am going to monitoring the Bot to make sure it passed. https://github.com/llvm/llvm-project/pull/88973