删除git中不需要的文件夹

在上传项目到git后，忘记忽略了某个文件夹target，就直接push上去了，最后意识到了此问题，决定删除掉远程仓库中的target文件夹。

在git上不能删除文件，只能从git仓库拉到本地操作，操作完成之后在上传到GitHub仓库。

代码	说明
$ git pull origin master	将远程仓库里面的项目拉下来
$ dir	查看有哪些文件夹
$ git rm -r --cached 删除的文件名称	删除target文件夹
$ git commit -m ‘操作说明’	提交添加操作说明
$ git push -u origin master	将本次更改更新到github项目上去