Ho biforcato un progetto su Github, ho apportato una piccola modifica e inviato una richiesta di pull al manutentore originale, che l'ha inserito. Ora l'ultimo commit è Merged pull request #11 from my_username/master .
Questa è la prima volta che faccio questo, 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 legge 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 alcuna diramazione, ho appena apportato la modifica al mio ramo master e inviato il rich req. Quindi non c'è nulla da fare in quella parte.