Trabalho em dois computadores diferentes (A e B) e armazeno um controle remoto comum do git no diretório dropbox.
Digamos que eu tenha dois ramos, mestre e desenvolvimento. Ambos estão rastreando suas origens / mestre e origem / desenvolvimento de suas contrapartes remotas.
Agora, enquanto estiver no computador A, excluo o branch devel, no local e no remoto.
git push origin :heads/devel
git branch -d devel
Executando git branch -a
no computador A, recebo a seguinte lista de ramificações.
- mestre
- origem / CABEÇA
- origem / mestre
Executando git fetch
no computador B, posso remover o ramo de desenvolvimento local com git branch -d devel
, mas não consigo remover o ramo de desenvolvimento remoto.
git push origin :heads/devel
retorna as seguintes mensagens de erro.
erro: não é possível enviar por push para um destino não qualificado: heads / proxy3d
O refspec de destino não corresponde a uma ref existente no controle remoto nem começa com refs /, e não podemos adivinhar um prefixo com base na ref de origem.
fatal: A extremidade remota desligou inesperadamente
git branch -a
ainda lista origem / desenvolvimento nos ramos remotos.
Como posso limpar as ramificações remotas do computador B?