You can rewrite history - Git history! Here’s how to remove a file:
git filter-branch --force --index-filter \
"git rm --cached --ignore-unmatch FILE-PATH" \
--prune-empty --tag-name-filter cat -- --all
git push origin --force --all
Use responsibly! 🖋
https://help.github.com/en/github/authenticating-to-github/removing-sensitive-data-from-a-repository