minor tweaks to release workflow

.github/workflows/release.yml

@@ -3,11 +3,11 @@ name: Release
 on:
   push:
     tags:
-      - "v*"
+      - "grok-dev@*"
   workflow_dispatch:
     inputs:
       version:
-        description: "Release version to publish (for example v1.1.4)"
+        description: "Release tag to publish (for example grok-dev@1.1.4)"
         required: true
 
 permissions:
@@ -88,8 +88,7 @@ jobs:
           else
             tag="${{ github.ref_name }}"
           fi
-          tag="${tag#v}"
-          echo "RELEASE_TAG=v${tag}" >> "$GITHUB_ENV"
+          echo "RELEASE_TAG=${tag}" >> "$GITHUB_ENV"
 
       - name: Download all build artifacts
         uses: actions/download-artifact@v4