如何删除文件,在git中将另一个文件重命名为已删除的文件名

我的球队一直在进行一场16位的比赛。我们已经简化为10位。我对理想的Git策略的理解是创建一个分支 10Bit ,并将代码更改为10位而不更改文件名;但是,我的队友复制了几个文件, 10位 附加到文件名,而不删除旧文件。这是几次提交,现在我们的文件系统如下所示:

Master.sv    # <--Old 16-bit code, not used in 10-bit
Master10Bit.sv
Master_Constraints.xdc # <-- same
Master_Constraints10Bit.xdc
Slave.sv    #    <-- same
Slave10Bit.sv

我们想回到原来的名字,没有 10位 部分。但是如果我这样做

git rm Master.sv
git mv Master10Bit.sv Master.sv

Git不认为这是一个简单的文件重命名。相反, git status 或A git diff 表明 Master10Bit.sv 已被删除,并且 Master.sv 变化显著。这个 不是 但是,发生了什么;a 差异比较 应该显示出来 SV 被删除了,而且 Mist10Bist.SV 重命名为 主.sv .

其他文件也是如此。

做这种改变的好方法是什么?