Closed MrPetru closed 14 years ago
ok, leggendo questo: http://help.github.com/pull-requests/ vedo che quando si fa una pull request e' meglio usare un "topic branch", cosi' poi si possono eventualmente aggiungere altre modifiche prima di fare il pull
quindi quando facciamo qualche modifica (questo vale anche per me!) conviene fare un topic branch in locale, lavorare su quello e poi mandarlo a github e da li fare la pull request, poi quando la richiesta e' chiusa si puo' cancellare il branch
(non so se hai gia' letto "Pro Git", in caso vedi anche questo: http://progit.org/book/ch3-0.html il capitolo spiega bene come funzionano i branch e come usarli, ed in particolare il paragrafo: http://progit.org/book/ch3-4.html )
a parte questo, vuoi che faccio il pull? non ci sono modifiche ;) (comunque non importerei l'ultimo commit, quello con la cancellazione di docs/build)
se non ci sono le modifiche posiamo provare come funziona il pull ... con il topic branch sembra una idea buona
salve ... ho fatto un po di modifiche nel README.txt, per imparare git. ma lo ristabilito al originale ... l'unica cosa che manca sono i build dei docs.