Einen Ordner aus Github entfernen, der nicht lokal angezeigt wird

Question

Ich habe ein Jupyter-Notizbuch auf Github hochgeladen, seitdem habe ich lokal daran gearbeitet und dann die Änderungen übernommen. Jetzt habe ich einen .ipynb_checkpoints Ordner, der nicht auf dem lokalen Repo erscheint, und ich möchte es aus dem Online-Repo entfernen. Wenn ich mit git status überprüfe oder versuche, mich zu verpflichten, heißt es, dass alles auf dem neuesten Stand ist. Wie kann es gemacht werden?

Answer 1

Für diesen Fall löschte ich einfach den Ordner auf lokaler, übertrug die Änderungen und fügte dann die Dateien zurück, wie ich es wollte. Übrigens würde ich gerne eine allgemeinere Lösung kennen lernen, wenn die Anzahl der Dateien oder Ordner zu hoch ist, um sie einzeln zu behandeln.

Answer 2

Um eine Datei von Github bereits gelöscht in Ihrem lokalen Repo zu löschen, hier sind ein paar Dinge, die Sie ausprobieren können:

git add . -a 
git commit -m 'removing deleted files' 
git push origin master 

Von der Bedienungsanleitung ‚Der commit -a wird der Index mit jeder Aktualisierung Dateien, die Sie geändert oder entfernt haben, und erstellen Sie ein Commit, alles in einem Schritt.

Wenn dies nicht funktioniert, müssen Sie möglicherweise den Verlauf von .git löschen, indem Sie z.

git filter-branch --index-filter 'git rm --cached --ignore-unmatch 
<files to remove>' HEAD 

dann

git commit -m ‘deleting file’ 
git push origin master --force