Re: [Patch] .gitignore TAGS and tags

[Eric Blake]

On 3/15/21 3:42 PM, Chet Ramey wrote:
> On 3/15/21 3:57 PM, Mike Jonkmans wrote:
>> On Mon, Mar 15, 2021 at 11:23:46AM -0400, Chet Ramey wrote:
>>> On 3/15/21 3:29 AM, Mike Jonkmans wrote:
>>>> I assume that the TAGS and tags files will not go into the repo.
>>>
>>> Why not? This is only the devel branch; they don't go into releases.
>>
>> Adding tags/TAGS to the repo would increase its size for almost no use.
>> Creating the tags file takes less than a second.
> 
> The size is inconsequential.
> 
>> Drawback of not having these in the repo and not in .gitignore
>> is that a 'git status' complains about untracked files.
> 
> OK, this is a good reason.

But even if the upstream repo doesn't want to ignore a file in the
(checked-in) .gitignore, you can always edit your (local-only)
.git/info/exclude to exclude your extra files locally.

-- 
Eric Blake, Principal Software Engineer
Red Hat, Inc.           +1-919-301-3226
Virtualization:  qemu.org | libvirt.org