BFG works great for deleting files in a local repo. But I realized that a git push --force
to GitHub does not cause the files to be deleted on GitHub as well.
E.g.: I've tried doing a force push, then cloning the repo from GitHub in a temp directory. The deleted files are back.
Is there some other operation I can do that will completely replace the state on GitHub? Or do I need to create a whole new repo?