Update Appunti

omar 2024-06-26 08:17:42 +00:00
parent 8134d26fdc
commit 4c048e158e

@ -59,6 +59,11 @@ Nel caso in cui, per motivi vari, si sospetta che `git pull` possa incasinare il
## Aggiornamento di origin/main con l'upstream ## Aggiornamento di origin/main con l'upstream
```
git checkout main
git pull upstream main
git push origin main
```
## Merge: unire le modifiche proposte in un ramo con il main ## Merge: unire le modifiche proposte in un ramo con il main