[PATCH] gitignore: ignore top-level ini files

Chris Johns chrisj at rtems.org
Fri Sep 18 07:42:08 UTC 2020

On 18/9/20 2:46 pm, Sebastian Huber wrote:
> On 17/09/2020 20:55, Gedare Bloom wrote:
>> ping: decision needed--should we git-ignore .ini everywhere, .ini in
>> top-level, or just the default config.ini in top-level?
> I tend to ignore the top-level *.ini files.

Then maybe git should also do this. It would stop someone accidental adding one.


More information about the devel mailing list