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 mastere poi git push origin master, e ora l'ultimo commit sul mio repository recita Merged pull request #11 from my_username/masterche 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 masterramo e inviato il pull req. Quindi non c'è nessuna pulizia da fare in quella parte.
no-ffpossibilità digit mergeutile quando si unisce al master.