Update Appunti

omar 2024-06-26 08:55:41 +00:00
parent 4c048e158e
commit c9ad5a749a

@ -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
```