From 99091f6f8f4696c0210b71c9201ad8b859d745be Mon Sep 17 00:00:00 2001 From: Frantisek Hrbata Date: Tue, 8 Dec 2020 14:17:20 +0100 Subject: [PATCH] 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 --- git-mr-remove | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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] -- 1.7.10.4