From cc26e27390bc193285189b602d6906cb6b3533be Mon Sep 17 00:00:00 2001
From: Gabriel Augendre <gabriel@augendre.info>
Date: Mon, 18 Nov 2024 10:37:43 +0100
Subject: [PATCH] add git rmtag

---
 dot_config/git/private_config.tmpl | 1 +
 1 file changed, 1 insertion(+)

diff --git a/dot_config/git/private_config.tmpl b/dot_config/git/private_config.tmpl
index c012ede..86d326b 100644
--- a/dot_config/git/private_config.tmpl
+++ b/dot_config/git/private_config.tmpl
@@ -47,6 +47,7 @@
     pushnoci = push -o ci.skip
     diffs = diff --staged
     restores = restore --staged
+    rmtag = ! "f() { git tag --delete $1; git push --delete origin $1; }; f"
 [commit]
   verbose = true
 [rerere]