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 f2b8e18df620ed13d8a38b06d603a4f2db2ac6f6..6e48e3388ec60608e3c464fdfe9c4b4d54973f60 100755 (executable)
--- 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])