GitHub PR中删除空文件显示‘Empty file.’而非删除提示的原因

关键结论 #

• 这是GitHub UI的设计逻辑，不属于Bug
• 橙色方框内的减号标记是文件已被删除的准确判定依据，和权限变更、GitBash操作完全无关
• 两种提示文本的区别仅由原文件是否包含内容导致，不代表删除操作未完成

差异原因说明 #

GitHub的PR对比界面在渲染删除文件时，会根据原文件的内容状态生成不同提示：

• 若被删除的文件原本是空文件，由于没有可展示的内容差异，UI会显示Empty file.
• 若被删除的文件原本有内容，UI会明确显示This file was deleted.，同时会附带该文件删除前的内容快照供对比

验证方法 #

你提供的测试步骤已完整复现该现象，可通过以下方式确认删除操作有效：

• 在本地分支执行命令：git log --oneline -- <文件名>，能看到对应文件的删除提交记录
• PR合并后，查看目标分支的仓库文件列表，对应文件已不存在

内容的提问来源于stack exchange，提问作者zola25