git_guida_pratica
Differenze
Queste sono le differenze tra la revisione selezionata e la versione attuale della pagina.
| Entrambe le parti precedenti la revisione Revisione precedente Prossima revisione | Revisione precedente | ||
|
git_guida_pratica [2014/03/19 10:59] mickele |
git_guida_pratica [2017/05/15 15:45] (versione attuale) mickele |
||
|---|---|---|---|
| Linea 26: | Linea 26: | ||
| git add nome-file | git add nome-file | ||
| + | |||
| + | Per controllare i file già presenti nel repository ed aggiungerli al commit se sono stati modificati | ||
| + | |||
| + | git add -u | ||
| Terminate le modifiche ai file, segnalati con il comando //git add//, validiamo le modifiche (creiamo il //commit//) | Terminate le modifiche ai file, segnalati con il comando //git add//, validiamo le modifiche (creiamo il //commit//) | ||
| Linea 103: | Linea 107: | ||
| git push origin : | git push origin : | ||
| - | Ad un certo punto, dopo aver, ad esempio, implementato e testato nuove funzionalità, | + | Ad un certo punto, dopo aver, ad esempio, implementato e testato nuove funzionalità, |
| | | ||
| git checkout master | git checkout master | ||
| git merge v2.1.x | 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 ===== | ===== Per approfondire ===== | ||
| Linea 112: | Linea 124: | ||
| Nell' | Nell' | ||
| - | * [[http:// | + | * [[http:// |
| * [[http:// | * [[http:// | ||
| * [[https:// | * [[https:// | ||
| Buon controllo di versione a tutti! | Buon controllo di versione a tutti! | ||
git_guida_pratica.1395223180.txt.gz · Ultima modifica: 2014/03/19 10:59 da mickele
