git-mr-fetch: fetch mr ref with tags

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

diff --git a/git-mr-fetch b/git-mr-fetch
index c5b13eed8f5f37849b60f68e87fafa23f36d366e..8a9add1e7687febde94205cba2d54ce744a89c56 100755 (executable)
--- a/git-mr-fetch
+++ b/git-mr-fetch
@@ -59,13 +59,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.force:
     newrefs = mrlib.filter_refs(newrefs, mrs=mrs, types=types)