How do I make Git (on computer) forget a deleted file, while GitHub (online) remembers the un-deleted file?
Background:
I made some "issue template" files in GitHub online, then made a git pull & noticed that I got the files, so I made a .gitignore
file to ignore the "issue" files.
But git isn't ignoring them (yet?), and want to push the deletions of the files to GitHub, which is wrong, they should exist on GitHub, but not on Git.
I do not want to push the deletion of the files & just have to re-create them & hope .gitignore
works.
Theory:
My think I need to un-track the files or delete the files from the tracking index, somehow?
I have tried:
different combinations of:
git rm <file>
git rm --cached <file>
git update-index --assume-unchanged <file>
I want the exact opposite of these questions: