Differences

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

--- doc:appunti:prog:git [2022/01/10 09:57] – [Revert di un singolo file] niccolo
+++ doc:appunti:prog:git [2025/11/27 09:55] (current) – [Gestione dei tag] niccolo
@@ Line 134: / Line 134: @@
 </code>
-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):
+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):
 <code>
@@ Line 148: / 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>
@@ Line 256: / Line 264: @@
 ===== Misc Commands =====
-==== Revert di un singolo file ====
+==== Restore o revert di un singolo file ====
 A partire da Git 2.23 esiste il comando **git restore** che consente di ripristinare un file modificato localmente alla sua versione di checkout:
@@ Line 361: / Line 369: @@
 ssh -T git@github.com
 Hi RigacciOrg! You've successfully authenticated, but GitHub does not provide shell access.
-</code<
+</code>
 Verifichiamo che un repository locale sia stato clonato tramite protocollo HTTPS: