从远程 git 中删除文件夹

在进行版本控制时，我们经常需要删除不必要的文件夹。下面介绍如何在远程 git 中删除文件夹。

步骤

1. 首先，先确认本地仓库与远程仓库保持同步，并检出最新的代码。

   $ git checkout master
   $ git pull origin master
   

2. 删除本地文件夹：

   $ git rm -r folder_name
   

3. 将本地的修改提交到本地仓库：

   $ git commit -m "Removed folder_name"
   

4. 将本地仓库的修改推送到远程仓库：

   $ git push origin master
   

5. 确认远程仓库已经删除对应的文件夹：

   $ git ls-tree --name-only -r <commit hash of latest commit>
   

注意事项

1. git rm -r folder_name 命令会同时删除本地和远程仓库中的对应文件夹。

2. 如果只想删除远程仓库中的文件夹，可以使用以下命令：

   $ git rm -r --cached folder_name
   $ git commit -m "Removed folder_name"
   $ git push origin master
   

   在删除文件夹时，--cached 选项会告诉 Git 只在本地仓库中删除该文件夹，而不将变化提交到远程仓库。这种情况下，需要手动提交到远程仓库。

总结

通过上述步骤可以方便地删除远程 git 中的文件夹。但是，在进行操作之前一定要先确认是否有重要文件需要备份。