Come cancellare local e remote tags su Git

Cerca

Su Git, i tag sono spesso utilizzati per taggare specifici commit che possono essere più importanti di altri.

I tag possono essere usati per segnalare certi eventi come nuove release o bug-fix. Su GitHub per esempio, i tag sono spesso associati con le release del software.

In ogni caso, può succedere che si debba cancellare un tag locale o remoto, vediamo quindi come poterlo fare.

Cancellare un Git tag locale

Per cancellare un Git tag locale, usiamo il comando git tag seguito dall’opzione -d.
				
					git tag -d [tag_name]
				
			

Per esempio, se si vuole cancellare un tag locale chiamato v.3.0 dalla propria lista di commit, il comando sarà il seguente

				
					git tag -d v.3.0
				
			

Come output otterremo

				
					Deleted tag 'v.3.0' (was ec846bd5)
				
			

Cancellare un Git tag remoto

Per cancellare un Git tag remoto, usiamo il comando git push seguito dall’opzione --delete seguito dal nome del tag.

				
					git push --delete origin tagname
				
			

Facendo riferimento all’esempio di prima, se si vuole cancellare il tag remoto chiamato v.3.0, lanciamo il seguente comando

				
					git push --delete origin v.3.0
				
			

Come output otterremo

				
					To https://github.com/[repo-name]/repo.git
 - [deleted]         v.3.0
				
			

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 installare Composer su Ubuntu

Composer è il gestore delle dipendenze per PHP. Per installarlo su Ubuntu seguiamo questi semplici passi illustrati qui sotto. Installazione di Composer Per prima cosa

Come realizzare un client NTP in Python

In questo post vediamo come realizzare, utilizzando poche righe di codice, uno script Python che agisca da client NTP. Soluzione 1 In questa prima soluzione

Come avviare UEFI dopo reboot su Linux

L’accesso a UEFI al boot del computer richiede la pressione di un tasto che varia per ogni produttore di hardware. I tasti che più comunemente

Partners