From d967e4c8b8c9b243c472c359fb70bba2136a7d84 Mon Sep 17 00:00:00 2001
From: William S Fulton <wsf@fultondesigns.co.uk>
Date: Tue, 23 Jun 2020 19:18:58 +0100
Subject: [PATCH] Use conventional 'v' prefix for release tagging

See semantic versioning:
  https://semver.org/spec/v2.0.0.html

Closes #1825
---
 Tools/mkdist.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Tools/mkdist.py b/Tools/mkdist.py
index 47cf8e765..7116144a0 100755
--- a/Tools/mkdist.py
+++ b/Tools/mkdist.py
@@ -73,9 +73,9 @@ if not skip_checks:
         sys.exit(3)
 
 print("Tagging release")
-tag = "'rel-" + version + "'"
+tag = "'v" + version + "'"
 force = "-f " if force_tag else ""
-os.system("git tag -a -m " + tag + " " + force + tag) == 0 or failed()
+os.system("git tag -a -m 'Release version " + version + "' " + force + tag) == 0 or failed()
 
 outdir = os.path.basename(os.getcwd()) + "/" + dirname + "/"
 print("Grabbing tagged release git repository using 'git archive' into " + outdir)