Use a release- prefix for the tag on master (#3986)

The `v<VERSION>` tags are already used by the `release` branch, so use
`release-<VERSION>` for `master` to avoid conflicts

Author: jberthold

.github/workflows/master.yml

@@ -78,6 +78,6 @@ jobs:
           ./package/version.sh sub
           if git add --update && git commit --no-edit --allow-empty --message "Set Version: $(cat package/version)"; then
             git push origin release
-            git tag "v$(cat package/version)" origin/master
-            git push origin "v$(cat package/version)"
+            git tag "release-$(cat package/version)" origin/master
+            git push origin "release-$(cat package/version)"
           fi