Git: rimuovere un tag o un branch sul server remoto
Faccio fatica a ricordarmi i comandi per rimuovere un tag o un branch da un repository Git sul server remoto.
In realtà non è così difficile se ci ricordiamo della sintassi del comando git push,
Scott Chacon lo spiega vbene nel suo libro ProGit book.
A way to remember this command is by recalling the git push [remotename] [localbranch]:[remotebranch]
If you leave off the [localbranch] portion, then you’re basically saying, “Take nothing on my side and make it be [remotebranch]”.
Quindi si tratta solo di fare un push di un branch/tag vuoto al branch/tag remoto.
Supponiamo che remotename è origin
e remotebranch è serverfix
, il comando per rimuovere un branch remote è:
$ git push origin :serverfix
e quello per rimuovere un tag remoto è:
$ git push origin :refs/tags/serverfix
Danilo
Fonte: Source
Se vuoi sostenerci, puoi farlo acquistando qualsiasi cosa dai diversi link di affiliazione che abbiamo nel nostro sito o partendo da qui oppure alcune di queste distribuzioni GNU/Linux che sono disponibili sul nostro negozio online, quelle mancanti possono essere comunque richieste, e su cui trovi anche PC, NAS e il ns ServerOne. Se ti senti generoso, puoi anche donarmi solo 1€ o più se vuoi con PayPal e aiutarmi a continuare a pubblicare più contenuti come questo. Grazie!
Hai dubbi o problemi? Ti aiutiamo noi!
Se vuoi rimanere sempre aggiornato, iscriviti al nostro canale Telegram.Se vuoi ricevere supporto per qualsiasi dubbio o problema, iscriviti alla nostra community Facebook o gruppo Telegram.
Cosa ne pensi? Fateci sapere i vostri pensieri nei commenti qui sotto.
Ti piace quello che leggi? Per favore condividilo con gli altri.