Gestire i conflitti

Quando eseguite operazioni di Push o Pull è probabile, soprattutto quando si lavora in team, che alcune modifiche non siano compatibili con quelle che avete localmente.
In qualsiasi caso, la cosa che accadrà è che dovrete prima risolvere i conflitti localmente e poi inviare di nuovo il vostro repository locale al server.

Da riga di comando non esiste un tool che ci possa aiutare.
Semplicemente dobbiamo raccogliere l'errore che ci propone la console e utilizzare il nostro ambiente di sviluppo o un editor di testo per risolvere il problema.

Per questa fase può essere utile utilizzare qualche tool grafico, soprattutto in repository git molto complessi con tanti branch e tanti rilasci.

results matching ""

    No results matching ""