我在 Windows 10 上使用最新版本的 Git 扩展。
我想从我的 git repo 中删除一个已经签入的文件,而不是在本地删除它。
我无法弄清楚如何做到这一点。
我尝试在差异视图中右键单击它,但没有提供删除选项。
在提交视图中,有一个“删除”选项。我没有尝试过,因为我不确定它是否会删除本地副本。这个提交视图 -> 删除选项本质上是删除吗?
git git-extensions
git ×1
git-extensions ×1