git rm'd文件没有在git pull上删除

Question

我的开发机器上有一个文件夹（包含一些文件），我执行了git rm -r folder标记要删除的文件/文件夹。然后我git commit他们和git push他们。

当我到达我的生产服务器（已经从我的开发机器中删除了文件）和我git pull时，文件不会被删除。

如果我然后去手动删除文件夹，git status不会告诉我有关现在丢失的文件。

不知何故git rm阻止git跟踪文件，但push - pull场景并未导致它们按预期运行。阅读this让人相信它应该像我期望的那样工作，但事实并非如此，我现在已经测试了两次，只是想弄清楚发生了什么。

我错过了什么？

=============编辑==============

dev和production都在提交4bdd8627fdf22dab58d6e1de6ec6e6fc15d1ff5a

我正在从主人到主人，并且有问题的文件已经进行了多次修改（周）。

Answer 1

这绝对是它的工作原理。在过去的几天里我已经好几次了。我猜你有一些干预步骤是你无意中遗漏的。也许它们之前已在生产服务器上删除，有人手动恢复它们。也许它们已经在生产服务器上进行了修改，即使是像备份恢复或权限更改那样看似无害的东西。也许你有一个非标准的配置设置。在不知道您使用的完整历史记录和完整的命令序列的情况下，很难说。如果你在删除之前对提交进行git reset --hard并再次尝试拉动它是否有效？

Answer 2

您是否在生产服务器上合并了远程推送的版本？请参阅http://www.kernel.org/pub/software/scm/git/docs/everyday.html以获取快速参考。