Datei aus Repo entfernen

git filter-repo --invert-paths --path <path to file>
git push --force origin main
John Smith