Ursprünglich wollte ich eine Remote-Zweig löschen.Unterschied zwischen Schnitt in Git
git push --delete <branchname>
... tat es für mich. Allerdings bekomme ich den Unterschied zwischen den anderen Befehlen nicht:
git push --prune ...
git prune ...
Wozu dienen diese? Das Handbuch hilft mir nicht, da es ähnlich klingt und ich hätte erwartet, dass sie tun, was ich ursprünglich wollte.
git prune wirkt auf Ihrer lokalen Repository und entfernt Objekte (z verpflichtet und Dateien, die nicht mehr von jedem Zweig oder einem Tag erreichbar sind, oder von HEAD). git push --prune wirkt auf den Remote Repository und entfernt Zweige, die nicht lokal existieren (sein wirklich vorsichtig mit diesem Befehl, da sie alle Zweige löschen, die Sie noch nie lokal ausgecheckt, wenn ein Zweig bekannt ist zu Ihrem lokalen Repo nur als Remote-Zweig, wird es aus der Ferne gelöscht werden.
Okay, danke - aber mein lokaler nicht existierender Zweig, den ich auch remote löschen wollte, wurde nicht gelöscht von 'git push --prune' ...? 'git push --delete hat es dann gemacht. – Xiphias
Haben Sie es tatsächlich zuerst lokal gelöscht? –
Ja, ich habe 'git branch -d' ... soll es dann funktioniert haben? Der Zweig war weg, als ich 'git branch' sah. –
Xiphias