ci: Add manual deployment option

Author: JanEbbing

.gitlab-ci.yml

@@ -194,3 +194,14 @@ publish:
   script:
     - ./gradlew publish
 
+publish_manual:
+  stage: publish
+  extends: .publish
+  when: manual
+  dependencies:
+    - build_scheduled
+    - build_manual
+  rules:
+    - if: '$CI_COMMIT_TAG =~ /^v[0-9]+\.[0-9]+\.[0-9]+$/'
+  script:
+    - ./gradlew publish