Remove a file from Git, but don't delete for remote users, merely ignore it

来源：https://stackoverflow.com/questions/63328896/remove-a-file-from-git-but-dont-delete-for-remote-users-merely-ignore-it