From b7b902f6ea7d2b990df2b0fdb6462f547be34f81 Mon Sep 17 00:00:00 2001
From: Stefan Doerr <stefdoerr@gmail.com>
Date: Mon, 17 Jul 2023 17:09:19 +0300
Subject: [PATCH] makefile

---
 Makefile | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 Makefile

diff --git a/Makefile b/Makefile
new file mode 100644
index 000000000..8c80a534d
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,10 @@
+ifndef version
+$(error version variable is not set. Call with `make release version=XXX`)
+endif
+
+release:
+	git checkout main
+	git fetch
+	git pull
+	git tag -a $(version) -m "$(version) release"
+	git push --tags origin $(version)