spaghetti-open-data / eu-research-funding-network

Exploring the network of partnerships in EU research funded under FP7 and Horizon2020
MIT License
8 stars 0 forks source link

Conflitto nella pull request #6

Closed albertocottica closed 8 years ago

albertocottica commented 8 years ago

Dopo molto lavoro sul mio branch, ho fatto una pull request. Ci sono dei conflitti, che credo siano dovuti al fatto che Stefano ha ricommittato i dati ripuliti, poi io me li sono ripresi ma li ho dovuti cambiare a causa dell'issue #2 .

Ho provato a usare la linea di comando per il merge, ma ottengo un messaggio di errore al primo passaggio:

xcrun: error: invalid active developer path (/Library/Developer/CommandLineTools), missing xcrun at: /Library/Developer/CommandLineTools/usr/bin/xcrun Cercando in rete, ho scoperto che OSX El Capitàn rompe i developer tools: https://ohthehugemanatee.org/blog/2015/10/01/how-i-got-el-capitain-working-with-my-developer-tools/

Prima di imbarcarmi in quella procedura, però, vorrei essere sicuro che ce n'è bisogno! Inoltre, forse facciamo prima se qualcuno di voi che non ha problemi con git mi accetta la pull request. Mi date una mano?

dottorblaster commented 8 years ago

Dovresti poter risolvere semplicemente con un

$ xcode-select --install
albertocottica commented 8 years ago

grazie @dottorblaster ! Adesso i dev tools funzionano. Però continuo a non riuscire a fare il merge: anche i comandi di linea trovano il conflitto e mi bloccano.

Ho provato a leggere questo articolo, ma suggerisce delle soluzioni che non vanno bene (aggiungere o togliere files). Io vorrei sovrascrivere il mio branch (che è quello più aggiornato) al master.

https://help.github.com/articles/resolving-a-merge-conflict-from-the-command-line/

dottorblaster commented 8 years ago

Prova

$ git fetch origin master
$ git merge -s recursive -X ours origin/master
albertocottica commented 8 years ago

No. Guarda, è che io non so come si fa a risolvere i conflitti. Basterebbe un buon instructable, che partisse dal principio. Ho trovato questo, ma non fa al caso mio perché c'è conflitto in un solo file. Nel mio è tutta la repo, decine di files...

error: merge is not possible because you have unmerged files.
hint: Fix them up in the work tree, and then use 'git add/rm <file>'
hint: as appropriate to mark resolution and make a commit.
fatal: Exiting because of an unresolved conflict.
dottorblaster commented 8 years ago

Eh dovresti fare un undo massiccio del pull che hai fatto prima, però ora non so nemmeno a che punto sei :/

albertocottica commented 8 years ago

Non mi pare che sia possibile fare undo prima del merge. Esiste un revert, che puoi fare dopo che la pull request è stata accettata. In alternativa, posso marcare questa pull request come "done". O ti riferisci alla pull request prima della mia?

albertocottica commented 8 years ago

Risolto facendo un nuovo ramo, copiando tutte le cartelle nel nuovo ramo e facendo una pull request. Un po' rozzo ma ha funzionato.