From 8109016c848c4f8a8187d5adc82d0dc7382348c3 Mon Sep 17 00:00:00 2001 From: JMARyA Date: Fri, 13 Sep 2024 09:43:33 +0200 Subject: [PATCH] update git --- technology/dev/Git.md | 3 +++ 1 file changed, 3 insertions(+) diff --git a/technology/dev/Git.md b/technology/dev/Git.md index 3908973..c9b1609 100644 --- a/technology/dev/Git.md +++ b/technology/dev/Git.md @@ -178,6 +178,9 @@ git merge --continue When done with a branch, delete it with: ```shell git branch -d branch + +# Also delete on remote +git push -d ``` ## Remotes