如何在本地删除一个空文件夹,并让其他通过 pull-push 共享远程的协作者也发生这种情况?我知道 git 在这个意义上没有“跟踪”文件夹,但问题仍然存在。
例如,我将文件移动到另一个文件夹并提交了(移动的)更改。
但是我不能git rm name
得到“不匹配”的文件夹
git rmdir name
不存在。
我可以做一个git clean -f folder
,但它是如何被推高的?
我可以直接rm
删除该文件,但是如何正确删除该目录并将其推送到存储库,然后在其他人拉取时将其发送给其他人,以便删除现有文件夹?