# Say you have a file (e.g. sensitive, really large,...) that you want removed from
# your repository (local and remote, current and history)
git filter-branch --tree-filter 'rm filename' HEAD
# https://docs.github.com/en/authentication/keeping-your-account-and-data-secure/removing-sensitive-data-from-a-repository
# https://docs.github.com/en/repositories/working-with-files/managing-large-files/about-large-files-on-github