标签： git github
我创建了一个包含少量文件夹的git存储库。另一位撰稿人删除了其中一个目录。
当我尝试git pull origin master时，系统中仍存在相同的文件夹。
git pull origin master
如何在不明确删除的情况下从系统中删除该文件夹？