So löschen Sie die Datei aus dem Befehl git
git rm --cached file1.txt
git commit -m "remove file1.txt"
Stupid Shrike
git rm --cached file1.txt
git commit -m "remove file1.txt"$ git rm <file>
$ git commit -m "Deleted the file from the git repository"
$ git push