Differenze

Queste sono le differenze tra la revisione selezionata e la versione attuale della pagina.

--- git_guida_pratica [2016/12/14 23:31]
mickele
+++ git_guida_pratica [2017/05/15 15:45] (versione attuale)
mickele
@@ Linea 107: / Linea 107: @@
   git push origin :refs/tags/nome-tag
-Ad un certo punto, dopo aver, ad esempio, implementato e testato nuove funzionalità, supponiamo di voler unire il branch v2.1.x con il repository master. Creeremo una copia del repositori master e vi uniermo il branch, il tutto con i comandi
+Ad un certo punto, dopo aver, ad esempio, implementato e testato nuove funzionalità, supponiamo di voler unire il branch v2.1.x con il repository master. Creeremo una copia del repositori master e vi uniremo il branch, il tutto con i comandi
   git checkout master
   git merge v2.1.x
+Se invece vogliamo sostituire un branch, ad esempio master, con un altro, ad esempio dev, usiamo i comandi
+  git checkout dev
+  git merge -s ours master
+  git checkout master
+  git merge dev
 ===== Per approfondire =====

Il Blog di IngegneriaLibera