Dinistro wrote: > @lfrenot may need commit access to get these rights. Lets give it a bit, before we ask chris for commit access. This seems to be indeed be a GitHub restriction. Not sure why this is the case but that is not relevant for this PR. https://github.com/llvm/llvm-project/pull/115509