doc: how to delete a remote branch

SamuelLarkin · Apr 10, 2024 · 33665f3 · 33665f3
1 parent 4a3cfca
commit 33665f3
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/docs/git.md b/docs/git.md
@@ -8,6 +8,12 @@
 git update-ref -d refs/remotes/origin/gh-pages
 ```
 
+How to delete a remote branch.
+
+```sh
+git push origin --delete dev/semantic_diff
+```
+
 
 ## GitHub