Salve a tutti,
stiamo provando ad ampliare con github la cerchia degli sviluppatori di un plugin per qgis. A volte ci capita che il merge non possa funzionare. Qualcuno in lista ha esperienze di github?
On Fri, Jul 12, 2013 at 04:11:24PM +0200, Luca Mandolesi wrote:
Salve a tutti,
stiamo provando ad ampliare con github la cerchia degli sviluppatori di un
plugin per qgis. A volte ci capita che il merge non possa funzionare.
Qualcuno in lista ha esperienze di github?
Immagino che "non funziona" in questo caso vuol dire che github
non consente di fare il merge spingendo un bottone. Se lo fa e' perche'
non si puo' applicare la modifica senza distruggere una modifica fatta
nel repository di destinazione _dopo_ che questo e' stato modificato
in altro modo da un'altro sviluppatore (conflitto).
In questo caso qualcuno deve risolvere i conflitti a mano.
Di solito ha senso che lo faccia chi propone la modifica,
ma in alternativa puo' farlo anche chi conosce meglio il codice.
Come risolvere i merge-conflict e' meglio andarselo a leggere online.
E' una cosa indipendente da github, ma propria del sistema di revisione
git.
On Fri, Jul 12, 2013 at 04:11:24PM +0200, Luca Mandolesi wrote:
Salve a tutti,
stiamo provando ad ampliare con github la cerchia degli sviluppatori di un
plugin per qgis. A volte ci capita che il merge non possa funzionare.
Qualcuno in lista ha esperienze di github?
Immagino che “non funziona” in questo caso vuol dire che github
non consente di fare il merge spingendo un bottone. Se lo fa e’ perche’
non si puo’ applicare la modifica senza distruggere una modifica fatta
nel repository di destinazione dopo che questo e’ stato modificato
in altro modo da un’altro sviluppatore (conflitto).
In questo caso qualcuno deve risolvere i conflitti a mano.
Di solito ha senso che lo faccia chi propone la modifica,
ma in alternativa puo’ farlo anche chi conosce meglio il codice.
Come risolvere i merge-conflict e’ meglio andarselo a leggere online.
E’ una cosa indipendente da github, ma propria del sistema di revisione
git.
Sandro, hai una idea di come fa’ github a stabilire se un commit sarebbe distruttivo ?
Si basa sulla modifica del file, fa il diff delle righe o che altro ?
···
Il giorno 12 luglio 2013 16:54, Sandro Santilli <strk@keybit.net> ha scritto:
On Fri, Jul 12, 2013 at 04:11:24PM +0200, Luca Mandolesi wrote:
Salve a tutti,
stiamo provando ad ampliare con github la cerchia degli sviluppatori di un
plugin per qgis. A volte ci capita che il merge non possa funzionare.
Qualcuno in lista ha esperienze di github?
Immagino che “non funziona” in questo caso vuol dire che github
non consente di fare il merge spingendo un bottone. Se lo fa e’ perche’
non si puo’ applicare la modifica senza distruggere una modifica fatta
nel repository di destinazione dopo che questo e’ stato modificato
in altro modo da un’altro sviluppatore (conflitto).
In questo caso qualcuno deve risolvere i conflitti a mano.
Di solito ha senso che lo faccia chi propone la modifica,
ma in alternativa puo’ farlo anche chi conosce meglio il codice.
Come risolvere i merge-conflict e’ meglio andarselo a leggere online.
E’ una cosa indipendente da github, ma propria del sistema di revisione
git.