Ho elaborato un progetto su Github, ho apportato una piccola modifica e ho inviato una richiesta pull al manutentore originale, che lo ha eseguito. Ora è stato eseguito l'ultimo commit Merged pull request #11 from my_username/master
.
Questa è la prima volta che lo faccio, quindi non sono sicuro di quale sia l'etichetta ora: ho fatto un git pull upstream master
e poi git push origin master
, e ora l'ultimo commit sul mio repository recita Merged pull request #11 from my_username/master
che mi sembra abbastanza strano. È così che la gente di solito lo fa, c'è qualcosa che devo fare per "ripulire la storia" o qualcosa del genere?
Nota: poiché si trattava di una piccola modifica della documentazione, non avevo creato alcun ramo, ho appena apportato la modifica al mio master
ramo e inviato il pull req. Quindi non c'è nessuna pulizia da fare in quella parte.
no-ff
possibilità digit merge
utile quando si unisce al master.