diff --git a/Appunti.md b/Appunti.md index 7174d7d..c986017 100644 --- a/Appunti.md +++ b/Appunti.md @@ -65,6 +65,19 @@ git pull upstream main git push origin main ``` +## Avanzamento di un branch (da eseugire prima di un a PR) + +È possibile eseguire questo aggiornamento anche via web: dopo aver inviato una PR, nella scheda è presente un pulsante per eseguire il rebase. + +Da terminale: + +``` +git checkout mio-branch +git pull --rebase origin main +git push --force +``` + + ## Merge: unire le modifiche proposte in un ramo con il main ```