三条命令解决Git 如何删除远程服务器文件同时保留本地文件

有时候会想把gitlab上的文件删除，但是本地仓库里的文件想保留下来该怎么办，只要用三条命令就能完成了

git rm --cached file/-r dir
git commit "del xxx"
git push

一定要注意，删除文件夹要使用-r 参数