Re: Using make_ctags leaves tags files in git - Mailing list pgsql-hackers

From Alvaro Herrera
Subject Re: Using make_ctags leaves tags files in git
Date
Msg-id 20230515103317.n7hnr22goby44d3w@alvherre.pgsql
Whole thread Raw
In response to Re: Using make_ctags leaves tags files in git  (Tom Lane <tgl@sss.pgh.pa.us>)
Responses Re: Using make_ctags leaves tags files in git
Re: Using make_ctags leaves tags files in git
List pgsql-hackers
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/



pgsql-hackers by date:

Previous
From: Peter Eisentraut
Date:
Subject: Re: Order changes in PG16 since ICU introduction
Next
From: Masahiko Sawada
Date:
Subject: Re: walsender performance regression due to logical decoding on standby changes