Update Appunti

omar 2024-06-26 07:51:24 +00:00
parent 454ae7ba07
commit 8134d26fdc

@ -63,8 +63,9 @@ Nel caso in cui, per motivi vari, si sospetta che `git pull` possa incasinare il
## Merge: unire le modifiche proposte in un ramo con il main
```
$ git checkout main
$ git merge hotfix
git checkout main
git merge hotfix
git branch -d hotfix
```
## Branch: comandi utili