On Wed, 26 Jul 2023 at 14:57, Jakub Kicinski <kuba@xxxxxxxxxx> wrote: > > > And it can't even be the right thing to do, when experienced > > developers don't do it. > > I explained to you already that Florian's posting is a PR. .. and your point is? The fact is, experienced developers don't add cc'd when they commit their own patches, and nobody bats an eye on it. So you are *literally* saying that inexperienced people should do this pointless thing that can be - and is - automated, even though it's clearly not the thing that is required in general. And you're saying that I should have to change my workflow to make it MORE INCONVENIENT to do the thing that you claim inexperienced people do now. Yup. We're done here. Linus