SHELL

git remove file from repository

git filter-branch --index-filter "git rm -rf --cached --ignore-unmatch path_to_file" HEAD

remove file from repo

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