Merge branch 'main' into release

# Conflicts:
#	.gitea/workflows/deploy.yml

commit

@@ -0,0 +1,11 @@
+#!/bin/sh
+set -e
+
+if [ $# -eq 0 ]; then
+  echo "Usage: $0 <commit message>"
+  exit 1
+fi
+
+git add -A
+git commit -m "$*"
+git push origin main

release

@@ -0,0 +1,7 @@
+#!/bin/sh
+set -e
+
+git checkout release
+git merge main
+git push origin release
+git checkout main