one more link to remove files from github repo

To add to my earlier post about removing files from a github repository, and from git history, github's documentation is at

https://docs.github.com/en/authentication/keeping-your-account-and-data-secure/removing-sensitive-data-from-a-repository#using-git-filter-repo

 

python3 -m pip install --user git-filter-repo

Requirement already satisfied: git-filter-repo in ./.local/lib/python3.8/site-packages (2.34.0)