Lavoro da due computer diversi (A e B) e memorizzo un Git Remote comune nella directory di Dropbox.
Diciamo che ho due rami, padrone e sviluppo. Entrambi stanno monitorando le loro controparti remote origin / master e origin / devel.
Ora mentre sono sul computer A, elimino lo sviluppo del ramo, sia in locale che in remoto.
git push origin :heads/devel
git branch -d devel
In esecuzione git branch -a
sul computer A, ottengo il seguente elenco di rami.
- maestro
- origine / HEAD
- origin / master
In esecuzione git fetch
sul computer B, posso rimuovere il ramo di sviluppo locale con git branch -d devel
, ma non riesco a rimuovere il ramo di sviluppo remoto.
git push origin :heads/devel
restituisce i seguenti messaggi di errore.
errore: impossibile spingere verso destinazione non qualificata: heads / proxy3d
Il refspec di destinazione non corrisponde a un riferimento esistente sul telecomando né inizia con i riferimenti / e non siamo in grado di indovinare un prefisso basato sul riferimento sorgente.
fatale: l'estremità remota ha riattaccato inaspettatamente
git branch -a
elenca ancora origine / sviluppo nei rami remoti.
Come posso ripulire i rami remoti dal computer B?