release-tag: define the release's name

This still does not automatically publish to the Marketplace,
unfortunately. It would appear that this is not even possible at the
moment: https://stackoverflow.com/a/60688473

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()