Publish GitHub release

Author: nicoddemus

.github/workflows/deploy.yml

@@ -43,9 +43,9 @@ jobs:
       with:
          attestations: true
 
-    - name: Push tag
+    - name: GitHub Release
+      env:
+        GH_TOKEN: ${{ github.token }}
       run: |
-        git config user.name "pytest bot"
-        git config user.email "pytestbot@gmail.com"
-        git tag --annotate --message=v${{ github.event.inputs.version }} v${{ github.event.inputs.version }} ${{ github.sha }}
-        git push origin v${{ github.event.inputs.version }}
+        gh release create v${{ github.event.inputs.version }} --target=${{ github.ref_name }} --title v${{ github.event.inputs.version }}
+        gh pr merge ${{ github.ref_name }} --merge