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. Drawback of not having these in the repo and not in .gitignore is that a 'git status' complains about untracked files. Regards, Mike Jonkmans
