From f9bda9f45f7e2c2df426dbac14daaeaea3923794 Mon Sep 17 00:00:00 2001
From: Fredrik Ekre <ekrefredrik@gmail.com>
Date: Thu, 20 Apr 2023 09:48:12 +0200
Subject: [PATCH] Add a Makefile with release-% targets to release via PkgDev.

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

diff --git a/Makefile b/Makefile
new file mode 100644
index 00000000..3559238c
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,12 @@
+default:
+
+release-%:
+	TMP_PROJECT="$(shell mktemp -d)/Project.toml" && \
+	touch $${TMP_PROJECT} && \
+	JULIA_LOAD_PATH="$${TMP_PROJECT}:" JULIA_PROJECT="" \
+	julia -e '                                                             \
+	    import Pkg;                                                        \
+	    Pkg.add("PkgDev"); Pkg.develop(path=pwd());                        \
+	    import PkgDev;                                                     \
+	    PkgDev.tag("LanguageServer", :$*; credentials=ENV["GITHUB_TOKEN"]) \
+	'