sandr01d

Yes, that's what I expected. The git version that comes with jammy does have this option, so it works there. Given that git 1.25 (and Ubuntu 20.04) is quite old...

Ok, you both have convincing arguments. We should make it work for git 2.25.1.