From: | Michael Paquier <michael(at)paquier(dot)xyz> |
---|---|
To: | Alvaro Herrera <alvherre(at)alvh(dot)no-ip(dot)org> |
Cc: | Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us>, Steve Chavez <steve(at)supabase(dot)io>, PostgreSQL-development <pgsql-hackers(at)postgresql(dot)org> |
Subject: | Re: Using make_ctags leaves tags files in git |
Date: | 2023-05-15 23:58:07 |
Message-ID: | ZGLHD8/yhNeaFHUt@paquier.xyz |
Views: | Raw Message | Whole Thread | Download mbox | Resend email |
Thread: | |
Lists: | pgsql-hackers |
On Mon, May 15, 2023 at 12:33:17PM +0200, Alvaro Herrera wrote:
> 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.)
Yes, you have a point about the origin of the script generating the
tags. One thing is that one can still add a file even if listed in
what to ignore, as long as it is done with git-add -f. Okay, that's
not going to happen.
(FWIW, looking at my stuff, I have just set up that globally in 2018
after seeing the other thread.)
--
Michael
From | Date | Subject | |
---|---|---|---|
Next Message | Andres Freund | 2023-05-16 00:14:47 | Re: benchmark results comparing versions 15.2 and 16 |
Previous Message | Andres Freund | 2023-05-15 23:43:56 | Re: issue with meson builds on msys2 |