Re: git bug

From: Jeff King <peff@peff.net>
Date: Aug 7, 2020, 00:02 UTC
Message-ID: <20200807000226.GA12088@coredump.intra.peff.net>
In-Reply-To: <5387a5b7-4551-53a0-abdb-e26cc2702536@web.de>

On Thu, Aug 06, 2020 at 10:23:54PM +0200, René Scharfe wrote:

Show 16 quoted lines

> So "file" is no longer ignored.  Committing the .gitignore change
> doesn't change that:
> 
>   $ git add .gitignore
>   $ git commit -m 2nd
>   [master d4c95a1] 2nd
>    1 file changed, 1 deletion(-)
>   $ git status
>   On branch master
>   Untracked files:
>     (use "git add <file>..." to include in what will be committed)
>   	file
> 
>   nothing added to commit but untracked files present (use "git add" to track)
> 
> Which steps did you take to arrive at a different result?

Perhaps also:

  git check-ignore -v file

would be helpful for seeing why Git thinks it might be ignored (e.g., another wildcard rule that happens to match it).

-Peff