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
