On Tue, Jul 11, 2023 at 8:11 AM Sven Schreiber
<sven.schreiber(a)fu-berlin.de> wrote:
in my copies/clones of the git repo I'm getting a lot of untracked files
which sometimes is a bit annoying. Some of them may have to do with
un-recommended builds in the source tree, but others are perhaps more
pervasive. I'm not too familiar with the git rules for the .gitignore
files: I see there's such a file at the top level, last changed in 2017,
and under addons there is a quite recent .gitgnore file added by Artur.
Could some knowledgeable person amend these files to cover more of the
clutter or noise?
Please give some examples of the files you're talking about.
Allin