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 abd8cd172f0a6c5e998c20b210a12615e4fdf537..2fa53462293fdc4a23c5b03a11e0e69edfcfec94 100755 (executable)
--- 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]