git filter-branch --force --index-filter 'git rm --cached --ignore-unmatch FILE_PATH' --prune-empty --tag-name-filter cat -- --all
git push origin master --force
rm -rf .git/refs/original/
git reflog expire --expire=now --all
git gc --prune=now
git gc --aggressive --prune=now

FILE_PATH是你要删除的文件的路径,例如:src/main/resources/application-dev.yml

origin是你自己的远程仓库的别名,可以使用git remote -v查看。

参考文档

Q.E.D.


热爱生活,热爱程序