dzbarsky wrote: > It seems that GitHub has some kind of outage that's preventing me from merging. Please ping me tomorrow if I forget to try again. @jansvoboda11 gentle ping, hopefully github woke up from its snooze https://github.com/llvm/llvm-project/pull/203161