feat: add workflow for creating a GitHub release based on tags

.github/workflows/release.yml

@@ -0,0 +1,25 @@
+on:
+    push:
+      tags:
+      # pre-release tag
+      - "20??.??.?*-rc?*"
+      # release tags
+      - "20??.??.[0-9]"
+      - "20??.??.[0-9][0-9]"
+      - "20??.??.[0-9][0-9][0-9]"
+
+jobs:
+  release:
+    runs-on: ubuntu-latest
+    permissions:
+      # https://github.com/softprops/action-gh-release#permissions
+      contents: write
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v4
+
+      - name: Release
+        uses: softprops/action-gh-release@v1
+        with:
+          prerelease: ${{ contains(github.ref, '-rc') }}
+          generate_release_notes: ${{ !contains(github.ref, '-rc') }}