https://oclakj.blogspot.com/2024/04/git-remove-files-from-repo-but-not.html