To remove a file from the Git version control system without actually removing the file on disc, use
git rm --cached file
file