From: Frantisek Hrbata <frantisek@hrbata.com>
Date: Tue, 8 Dec 2020 13:17:20 +0000 (+0100)
Subject: git-mr-remove: remove mr ref along with tags
X-Git-Tag: v0.2~60
X-Git-Url: http://www.hrbata.com/gitweb/?a=commitdiff_plain;h=99091f6f8f4696c0210b71c9201ad8b859d745be;p=gimrr.git

git-mr-remove: remove mr ref along with tags

mr ref contains tags which cannot be modified, so remove it aloing
with tags.

Signed-off-by: Frantisek Hrbata <frantisek@hrbata.com>
---

diff --git a/git-mr-remove b/git-mr-remove
index abd8cd1..2fa5346 100755
--- a/git-mr-remove
+++ b/git-mr-remove
@@ -40,13 +40,13 @@ if args.head:
     types += ["head"]
 
 if args.tags:
-    types += ["tags"]
+    types += ["tags", "mr"]
 
 if args.mbox:
     types += ["mbox"]
 
 if not types:
-    types = ["head", "mbox", "tags"]
+    types = ["head", "mbox", "tags", "mr"]
 
 if args.user and args.user[0] == None:
     args.user = [user]