Come eliminare un Git remote branch

Cerca

Mentre in questo articolo abbiamo trattato come eliminare un Git local branch, qui di seguito trattiamo come eliminare un Git remote branch. Anche in questo caso, la cancellazione passa per l’esecuzione di un semplice comando:

				
					git push origin --delete [remote-branch-name]
				
			

Un’alternativa sintetica alla sintassi vista sopra passa per il seguente comando:

				
					git push origin :[remote-branch-name]
				
			
Come possiamo notare, la cancellazione di un branch remoto passa per l’esecuzione del comando git push.

Elencare i branch remoti

Prima di procedere alla cancellazione di un remote branch, può tornare utile lanciare il seguente comando

				
					git branch -r
				
			

il quale elenca tutti i remote branch presenti nel repository.

Possibili errori

Nel caso in cui stiamo provando a cancellare un remote branch che però qualcun altro ha già cancellato, i comandi di cancellazione visti sopra restituirebbero questo errore:

				
					error: unable to push to unqualified destination: [remote-branch-name] 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. error: failed to push some refs to 'git@repository_name'
				
			

Questo messaggio ci fa capire che il remote branch non esiste più, ma è tuttavia presente nella nostra cache locale. In questo caso un comando di pruning ci aiuta a fare pulizia e a sincronizzarci con il repository remoto.

				
					git fetch -p
				
			

Lascia un commento

Il tuo indirizzo email non sarà pubblicato. I campi obbligatori sono contrassegnati *

Questo sito usa Akismet per ridurre lo spam. Scopri come i tuoi dati vengono elaborati.

Most Recent

Come cambiare il server DNS su Ubuntu

Cambiare il server DNS usato da Ubuntu è un’operazione piuttosto semplice, ma che comunque deve essere condotta con attenzione. Vediamo quindi in questo articolo come

Partners