NagyDonat wrote: ... I still ended up with some annoying git wrangling: a force push and a merge via the github gui editor. :face_with_diagonal_mouth: Next time I'll wait until my commits are merged before creating a follow-up PR. https://github.com/llvm/llvm-project/pull/122481