Ich habe kürzlich festgestellt, dass die Projektdateien, die meine Texteditoren (zusammen mit etwas anderem Junk) verwenden, dem Git-Repository für das Projekt hinzugefügt wurden. Da sie eigentlich nicht Teil des Projekts sind, möchte ich sie entfernen, aber git rmdie alten Versionen werden nicht aus dem Repository entfernt, und ich konnte nichts anderes finden, das vielversprechend aussieht.