Add simple release script

release.sh

@@ -0,0 +1,28 @@
+#!/bin/bash
+
+if [[ -z "$1" ]]; then
+    echo "Error: No version number provided"
+    exit 1
+fi
+
+if [[ -z "$2" ]]; then
+    echo "Error: No GitLab API token provided"
+    exit 1
+fi
+
+if ! grep "## $1" CHANGELOG.md > /dev/null; then
+    echo "Error: No entry in CHANGELOG.md for version $1"
+    exit 1
+fi
+
+if ! grep -E "^\s*version:\s*'$1'" meson.build > /dev/null; then
+    echo "Error: Version $1 differs from version in meson.build"
+    exit 1
+fi
+
+git tag "$1"
+git push --tags
+
+./archive.sh "$2"
+
+echo "Now create a release for https://gitlab.com/cherrypicker/unl0kr/-/tags/$1 and attach the uploaded archive"