何时从git历史记录中删除文件？

我正在开发一个web应用程序，注意到我忘记忽略一个由Gulp自动生成的文件。我刚刚将该文件的路径添加到我的

.gitignore

文件中。在执行这些命令之后

git rm -r --cached .
git add .

然后该文件被标记为已删除，但我是否应该更进一步，运行类似这样的命令以从git历史记录中完全删除该文件

git filter-branch --index-filter "git rm -rf --cached --ignore-unmatch path_to_file" HEAD

---

这是否有必要，因为它不是一个包含任何敏感信息（密码、登录凭据等）的文件？我是否应该将该文件的剩余部分保留在git历史记录中？

这可能是一个不经常更改的小文件，因此将其保留在历史记录中不会造成任何伤害。里面也没有敏感信息，所以不会引起问题

在新提交中删除它并结束，除非您对历史提交的状态非常挑剔