git 从仓库移除文件夹、不删除本地文件

有时候

git rm -r --cached target
git commit -m "delete target/"
git push origin master