Ecco il mio flusso di lavoro git.ripulire vecchi rami di git remoti
Lavoro da due computer diversi (A e B) e memorizzo un comune git remoto nella directory dropbox.
Diciamo che ho due rami master e sviluppo. Entrambi stanno monitorando le loro controparti remote origine/master e origine/sviluppo.
Ora, mentre sul computer A, cancello ramo devel - sia locali che remote - come segue:
git push origin :heads/devel
git branch -d devel
Ora, se faccio git branch -a
sul computer A, ottengo
master
origin/HEAD
origin/master
ora vai al computer B. Fai git fetch
. Posso rimuovere il ramo di devel locale da
git branch -d devel
Ma non riesco a rimuovere il ramo di devel remoto.
git push origin :heads/devel
error: unable to push to unqualified destination: heads/proxy3d
The destination refspec neither matches an existing ref on the remote nor
begins with refs/, and we are unable to guess a prefix based on the source ref.
fatal: The remote end hung up unexpectedly
Facendo git branch -a
elenca ancora origine/devel nelle filiali remote.
Come è possibile pulire l'ingresso remoto di devel dalla macchina B?
Mi è stato detto da chi l'ha provato, che i repository git nelle cartelle Dropbox sono un po 'fragili (ma senza dettagli aggiuntivi). –
@ ThorbjørnRavnAndersen probabilmente perché devi attendere che si sincronizzi completamente ogni volta che effettui il commit, prima di poter essere sicuro che sia sicuro sull'altro (e un'altra sincronizzazione è necessaria anche in quel momento). – ataulm