Differences

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

--- doc:appunti:prog:git [2026/03/07 07:30] – 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 345: / 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>