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/16 14:40] (current) – [Gestione dei tag] niccolo
@@ Line 133: / Line 133: @@
 git tag -a print3d-1.0
 </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**.
 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):
@@ 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: