Ich arbeite von zwei verschiedenen Computern aus (A und B) und speichere ein gemeinsames Git-Remote in einem Dropbox-Verzeichnis.
Nehmen wir an, ich habe zwei Zweige, master und devel. Beide verfolgen ihre entfernten Gegenstücke origin/master und origin/devel.
Jetzt lösche ich auf Computer A den Zweig devel, sowohl auf dem lokalen als auch auf dem entfernten Rechner.
git push origin :heads/devel
git branch -d develLaufen git branch -a auf Computer A erhalte ich die folgende Liste von Zweigen.
- Meister
- Ursprung/Kopf
- Ursprung/Master
Laufen git fetch auf Computer B kann ich den lokalen devel-Zweig mit git branch -d devel aber ich kann den Remote-Devel-Zweig nicht entfernen.
git push origin :heads/devel gibt die folgenden Fehlermeldungen aus.
Fehler: Kann nicht an ein unqualifiziertes Ziel übertragen werden: heads/proxy3d
Die Ziel-Referenzangabe stimmt weder mit einer bestehenden Referenz auf der Gegenstelle überein noch beginnt sie mit refs/, und wir sind nicht in der Lage, anhand der Quell-Referenz ein Präfix zu erraten.
fatal: Die Gegenstelle hat unerwartet aufgelegt
git branch -a listet origin/devel immer noch in den entfernten Zweigen auf.
Wie kann ich die entfernten Zweige von Computer B bereinigen?
