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

git-mr-push: push mr ref with tags

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

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])