Re: Using make_ctags leaves tags files in git
Tom Lane <tgl@sss.pgh.pa.us>
From: Tom Lane <tgl@sss.pgh.pa.us>
To: Steve Chavez <steve@supabase.io>
Cc: Michael Paquier <michael@paquier.xyz>,
PostgreSQL-development <pgsql-hackers@postgresql.org>
Date: 2023-05-15T01:25:53Z
Lists: pgsql-hackers
Steve Chavez <steve@supabase.io> writes: > In this case I just propose adding 'tags'. I believe it's reasonable to > ignore these as they're produced by make_ctags. Our policy on this is that the project's .gitignore files should ignore files that are produced by our standard build scripts. Anything else you should put in your personal ignore patterns (one way is to set the core.excludesFile property in ~/.gitconfig). Otherwise it's very very hard to argue which tools are privileged to get a project-wide ignore entry. Personally, for example, I use emacs but not ctags, so I'd put "*~" way ahead of "tags". But it's my responsibility to ignore "*~", and I do. regards, tom lane