On Fri, 10 Sep 2021 12:47:25 +0100 Brian Morrison <bdm at fenrir.org.uk> wrote: > Pretty sure that I have never changed this either, I am not a git > expert so beyond using git pull and git checkout commands I don't make > any changes. I have clean git trees also, but don't see the problem you see. with regards Paul