prepare for release without directly pushing to master

Author: vladak

.github/workflows/docker.yml

@@ -1,6 +1,10 @@
 name: Build Docker image
 
-on: [push, pull_request]
+on:
+  push:
+  pull_request:
+  release:
+    types: [created]
 
 jobs:
   ubuntu:

.github/workflows/release.yml

@@ -2,9 +2,8 @@ name: Release
 
 # TODO: run this only for the oracle/opengrok repository
 on:
-  push:
-    tags:
-      - '[1-9]+.[0-9]+.[0-9]+'
+  release:
+    types: [created]
 
 jobs:
   get_tag:

dev/release.sh

@@ -1,10 +1,11 @@
 #!/bin/bash
 #
-# Trigger new release creation on Github.
-# Assumes working Maven + Git.
-#
+# Query current release or trigger new release creation on Github.
+# For the latter, it merely kick-starts the creation of new Release on Github,
 # see https://github.com/oracle/opengrok/wiki/Release-process
 #
+# Assumes working Maven + Git.
+#
 
 set -e
 
@@ -43,8 +44,7 @@ if [[ $ver == $VERSION ]]; then
 fi
 
 git pull --ff-only
+git switch -c "release_${VERSION}"
 ./mvnw versions:set -DgenerateBackupPoms=false "-DnewVersion=$VERSION"
 git commit pom.xml '**/pom.xml' -m "$VERSION"
 git push
-git tag "$VERSION"
-git push origin tag "$VERSION"