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
