Hi Johan, On Mon, 1 Aug 2022 at 12:59, Johan Jonker <jbx6...@gmail.com> wrote: > > Hi Quentin, > > Beside removing the "real" annoyance is that these files popup when adding > with "git add ." and are blocking branch changing with "git branch ...". > Maybe add to ".gitignore" as well or delete immediately. What's the use to > keep them around?
At this point I have to remind people to consider moving to out-of-tree builds (make O=...) Regards, Simon