run the release when the tag is pushed

.github/workflows/release.yml

@@ -1,8 +1,9 @@
-# To use: navigate on Github to Actions, select "Release rayhunter" on the left, click "Run workflow" > "Run workflow" on the right.
-# https://github.com/EFForg/rayhunter/actions/workflows/release.yml
+# To learn how to use this workflow, please read CONTRIBUTING.md.
 name: Release rayhunter
 on:
-  workflow_dispatch:
+  push:
+    tags:
+      - "v[0-9]+.[0-9]+.[0-9]+"
 
 env:
   GH_TOKEN: ${{ github.token }}

CONTRIBUTING.md

@@ -78,8 +78,7 @@ This one is for maintainers of Rayhunter.
    This could be automated better but right now it's manual. You can do this easily with sed:
    `sed -i "" -E 's/x.x.x/y.y.y/g' */Cargo.toml installer-gui/src-tauri/Cargo.toml`
 
-2. Merge PR and make a tag.
+2. Merge the PR, make a tag, and push the tag to GitHub. Pushing the tag should
+   trigger the [release workflow](https://github.com/EFForg/rayhunter/actions/workflows/release.yml).
 
-3. [Run release workflow.](https://github.com/EFForg/rayhunter/actions/workflows/release.yml)
-
-4. Write changelog, edit it into the release, announce on mattermost.
+3. Write changelog, edit it into the release, announce on mattermost.