From 51b006dd48ff19ba014f997b3aa59b972a2e01db Mon Sep 17 00:00:00 2001 From: Frantisek Hrbata Date: Tue, 8 Dec 2020 14:20:39 +0100 Subject: [PATCH] git-mr-push: push mr ref with tags Signed-off-by: Frantisek Hrbata --- git-mr-push | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/git-mr-push b/git-mr-push index f2b8e18..6e48e33 100755 --- a/git-mr-push +++ b/git-mr-push @@ -43,13 +43,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.all: mrs = mrlib.filter_revs(refs, types=["head"], users=[user]) -- 1.7.10.4