[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Patch] .gitignore TAGS and tags
|
From: |
Mike Jonkmans |
|
Subject: |
Re: [Patch] .gitignore TAGS and tags |
|
Date: |
Mon, 15 Mar 2021 22:25:58 +0100 |
On Mon, Mar 15, 2021 at 04:06:06PM -0500, Eric Blake wrote:
> But even if the upstream repo doesn't want to ignore a file in the
> (checked-in) .gitignore, you can always edit your (local-only)
> .git/info/exclude to exclude your extra files locally.
Thanks Eric, that is useful.
Regards, Mike Jonkmans