Re: Il nuovo repository GuITeX

Piccolo appunto: nei sorgenti delle guide non credo ci dovrebbero essere i file della classe [tt]guidatematica[/tt]: non so come state facendo voi, ma io l’ho messa nel mio albero locale, non ce l’ho in ogni cartella contenente il sorgente di una guida.

robitex” post=80772Quando l’amministratore approva un merge proveniente da un contributore la procedura migliore è la seguente?
– eseguo il merge in locale dando il comando dalla directory nel progetto:
$ git pull path/alrepo/contributore/nomeprogetto master
– poi eseguo l’aggiornamento in remoto
$ git push origin master

Va bene questa procedura?
R.

Essenzialmente sì: https://help.github.com/articles/using-pull-requests#merging-a-pull-request
Il pull dovrebbe essere equivalente a fetch+merge