Retitle release commits to "Release vNN"

I think this is just nicer and stands out more in the git log.

diff --git a/tools/do-a-release.sh b/tools/do-a-release.sh
index 591cbde2a7321d4a4e1344cc94656927086b4620..6cf4c68e68dbe8e17ceb42491d755c9574b713e6 100755 (executable)
--- a/tools/do-a-release.sh
+++ b/tools/do-a-release.sh
@@ -16,6 +16,6 @@ sed -r -i "s/^__version__ = \".*\"$/__version__ = \"$1\"/" mkosi/config.py
 
 git add -p pyproject.toml mkosi
 
-git commit -m "Bump version numbers for v$1"
+git commit -m "Release $1"
 
 git tag -s "v$1" -m "mkosi $1"