Closed mirko-laruina closed 5 years ago
Ecco, credevo si unisse all'altra pull request in automatico e invece niente. Sorry :cry:
Sisi non avevi altra possibilità se non aprire un altra PR perché non hai (ancora) i permessi di scrittura su questo repo :sweat_smile:
Ah perfetto, ho appena eliminato il mio branch, non crea problemi vero? (ormai è merged, no?)
Sisi ormai è merged e quello che succede nella tua fork non conta più per questa PR
Come da titolo. Mi ero un po' perso con git tra vari commit, branch ecc., spero di non aver fatto danni : :laughing: