Supprimer le fichier d'une branche git
git rm --cached file1.txt
git commit -m "remove file1.txt"
GrepperSasi
git rm --cached file1.txt
git commit -m "remove file1.txt"
git rm --cached file1.txt
git commit -m "remove file1.txt"git filter-repo --invert-paths --path <path to file>
git push --force origin main