From 33665f3ed124821ff6ecf82f7c0fff89d590d582 Mon Sep 17 00:00:00 2001
From: Samuel Larkin <Samuel.Larkin@cnrc-nrc.gc.ca>
Date: Wed, 10 Apr 2024 17:26:59 -0400
Subject: [PATCH] doc: how to delete a remote branch

---
 docs/git.md | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/docs/git.md b/docs/git.md
index 9f04ddf..2d3d027 100644
--- 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