Differences

This shows you the differences between two versions of the page.

--- doc:appunti:prog:git [2025/11/16 14:39] – [Gestione dei tag] niccolo
+++ doc:appunti:prog:git [2025/11/27 09:55] (current) – [Gestione dei tag] niccolo
@@ Line 134: / Line 134: @@
 </code>
-Viene aperto l'editor per poter inserire una **breve descrizione** del tag. Una pratica abbastanza diffusa è quella di usare il solo numero di versione come tag, es. **v0.41**.
+Una pratica abbastanza diffusa è quella di usare il solo numero di versione come tag, es. **v0.41**. Viene aperto l'editor per poter inserire una **breve descrizione** del tag.
-se invece della versione corrente si vuole etichettare un commit precedente, bisogna individuare l'hash ed eseguire il comando (notare che l'hash è indicato in forma abbreviata):
+Se invece della versione corrente si vuole etichettare un commit precedente, bisogna individuare l'hash ed eseguire il comando (notare che l'hash è indicato in forma abbreviata):
 <code>
@@ Line 150: / Line 150: @@
 <code>
 git push origin print3d-1.0
+</code>
+È possibile anche fare il push di tutti i nuovi tag con il comando:
+<code>
+git push origin --tags
 </code>