Ahh.
*All* the .gitignore rules are purely about files that git does not
already know about. Once git tracks a pathname, the ignore rules simply
do not matter.
Files that are in the index are simply never ignored. There's no way to
ignore them, and in fact, the whole "git add -f" thing is a way to add
files to the index and override the exclude rules - at which point git
then tracks them regardless of any such exclude rules.
Linus
-
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html