add an automatic-github-releaser script

Per [1] it would be nice to have (Github) releases, since that e-mails people who have subscribed to that setting. This will (hopefully, as-yet untested) create them automagically when I push a new tag. [1]: 517169a#comments Signed-off-by: Tycho Andersen <[email protected]>
tych0 · Aug 17, 2023 · 30d2320 · 30d2320
1 parent ddd0f0a
commit 30d2320
Showing 1 changed file with 17 additions and 0 deletions.
diff --git a/.github/workflows/release.yaml b/.github/workflows/release.yaml
@@ -0,0 +1,17 @@
+name: "tagged-release"
+
+on:
+  push:
+    tags:
+      - "v*"
+
+jobs:
+  tagged-release:
+    name: "Tagged Release"
+    runs-on: "ubuntu-latest"
+
+    steps:
+      - uses: "marvinpinto/action-automatic-releases@latest"
+        with:
+          repo_token: "${{ secrets.GITHUB_TOKEN }}"
+          prerelease: false