release-tag: define the release's name

This was probably the reason why it would not automatically publish to
the Marketplace.

Signed-off-by: Johannes Schindelin <[email protected]>

Author: dscho

.github/workflows/release-tag.yml

@@ -69,10 +69,12 @@ jobs:
           script: |
             const { readFileSync } = require('fs')
 
+            const tag_name = readFileSync('tag_name').toString()
             await github.repos.createRelease({
               owner: context.repo.owner,
               repo: context.repo.repo,
-              tag_name: readFileSync('tag_name').toString(),
+              tag_name: tag_name,
+              name: tag_name,
               draft: false,
               prerelease: false,
               body: readFileSync('body').toString()