How do I make Git forget about a file that was tracked, but is now in .gitignore? https://stackoverflow.com/questions/1274057/how-do-i-make-git-forget-about-a-file-that-was-tracked-but-is-now-in-gitignore