Ich habe vor kurzem festgestellt, dass die Projektdateien, die meine Texteditoren verwenden (zusammen mit einigem anderen Müll) dem Git-Repository für das Projekt hinzugefügt wurden. Da sie nicht wirklich Teil des Projekts sind, würde ich sie gerne entfernen, aber git rm
entfernt nicht die alten Versionen aus dem Repository, und ich konnte nichts anderes finden, das vielversprechend aussieht.