;ci: a draft release-creating workflow, on push of v* tag

.github/workflows/release.yml

@@ -0,0 +1,30 @@
+# Create a github release, when a "v*" tag is pushed to master.
+
+# https://github.com/actions/create-release
+
+name: Create Release
+
+on:
+  push:
+    tags: [ 'v*' ]
+    branches: [ master ]
+
+jobs:
+  build:
+    name: Create Release
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout code
+        uses: actions/checkout@v2
+      - name: Create Release
+        id: create_release
+        uses: actions/create-release@v1
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # This token is provided by Actions, you do not need to create your own token
+        with:
+          tag_name: ${{ github.ref }}
+          release_name: Release ${{ github.ref }}
+          body: |
+            Release ${{ github.ref }}
+          draft: true
+          prerelease: false