Re: Using make_ctags leaves tags files in git

On 2023-May-14, Tom Lane wrote:

> 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.

But make_ctags is *our* script, so I think this rule applies to them as
well.  (In any case, what can be hurt?  We're not going to add any files
to git named "tags" anyway.)

-- 
Álvaro Herrera        Breisgau, Deutschland  —  https://www.EnterpriseDB.com/