[Top][All Lists]

[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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]