From 8134d26fdc4dabd4c0e85914cebe13bd7a50fbe1 Mon Sep 17 00:00:00 2001 From: omar Date: Wed, 26 Jun 2024 07:51:24 +0000 Subject: [PATCH] Update Appunti --- Appunti.md | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/Appunti.md b/Appunti.md index 69323e1..4f249c3 100644 --- a/Appunti.md +++ b/Appunti.md @@ -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