Tags
inspiration
https://blog.ostermiller.org/removing-and-purging-files-from-git-history/
git log --all --pretty=format: --name-only --diff-filter=D | sed -r 's|[^/]+$||g' | sort -u
git filter-branch --tag-name-filter cat --index-filter 'git rm -r --cached --ignore-unmatch FILE_LIST' --prune-empty -f -- --all
rm -rf .git/refs/original/ git reflog expire --expire=now --all git gc --aggressive --prune=now
git push origin --force --all git push origin --force --tags
cd MY_LOCAL_GIT_REPO git fetch origin git rebase git reflog expire --expire=now --all git gc --aggressive --prune=now