From: Frantisek Hrbata <frantisek@hrbata.com>
Date: Wed, 16 Dec 2020 16:32:37 +0000 (+0100)
Subject: git-mr-tag: don't allow users to add reserved tags
X-Git-Tag: v0.2~39
X-Git-Url: http://www.hrbata.com/gitweb/?a=commitdiff_plain;h=73384b7f6ebcf08970c3839c9305526be747fc34;p=gimrr.git

git-mr-tag: don't allow users to add reserved tags

This would be caught by git-mr-update, but let's inform users about
this while the tag is created.

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

diff --git a/git-mr-tag b/git-mr-tag
index 41d44d6..5dfa013 100755
--- a/git-mr-tag
+++ b/git-mr-tag
@@ -53,6 +53,9 @@ tag = args.tag.strip()
 if not tag.isalnum():
     sys.exit("Invalid tag name.")
 
+if tag in mrlib.reserved_tags:
+    sys.exit("Tag name '{}' is reserved.".format(tag))
+
 user = mrlib.get_user()
 refs = mrlib.load_refs()
 mr = mrlib.verify_mrs([args.mr], refs)[0]