From 73384b7f6ebcf08970c3839c9305526be747fc34 Mon Sep 17 00:00:00 2001 From: Frantisek Hrbata Date: Wed, 16 Dec 2020 17:32:37 +0100 Subject: [PATCH] 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 --- git-mr-tag | 3 +++ 1 file changed, 3 insertions(+) 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] -- 1.7.10.4