Differences

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

--- doc:appunti:prog:git [2026/03/06 16:46] – [Ignorare le modifiche locali] niccolo
+++ doc:appunti:prog:git [2026/09/27 10:59] (current) – [git push] niccolo
@@ Line 96: / Line 96: @@
 git remote add origin_rw git@github.com:qgis/qgis-web-client.git
 git push origin_rw
+</code>
+==== git pull --rebase ====
+Può capitare che un ''git push'' fallisca perché il repository remoto ha ricevuto qualche push da qualche altro sviluppatore che non è stato integrato localmente. In questo caso si può sperare di risolvere semplicemente il conflitto allineando il repository locale con quello remoto e poi ripetere il commit:
+<code>
+git pull --rebase
+git push
 </code>
@@ Line 308: / Line 317: @@
 git remote show origin
 </code>
+===== Annullare le modifiche locali in conflitto con origin/main =====
+Se un file è stato cambiato sia nella copia locale che nel repository originale, queste sono le istruzioni per annullare le modifiche locali e riallineare tutto al **origin/main** (nell'esempio il file cambiato è ''database-pgsql.sql''):
+<code>
+git fetch origin
+git checkout origin/main -- database-pgsql.sql
+git pull
+git status
+</code>
+In questo modo le modifiche locali vengono annullate e **non resta traccia** di esse nel git.
 ===== Annullare le modifiche locali =====
@@ Line 332: / Line 354: @@
 Effettuare lo **stash** significa //mettere da parte// provvisoriamente le modifiche locali. Ciò che è stato //stashed// può essere visto con **git stash list**.
-Questi passaggi riallineano il repository locale con quello remoto. L'operazione conclusiva di merge comunque viene registrata in Git e pertanto viene chiesa una riga di commento:
+Questi passaggi riallineano il repository locale con quello remoto. L'operazione conclusiva di merge comunque viene registrata in Git e pertanto viene richiesta una riga di commento:
 <code>