From bef2bf3948d79f74f4cb00020f6995467f9be06f Mon Sep 17 00:00:00 2001
From: Mykola Mokhnach <mokhnach@gmail.com>
Date: Wed, 11 Mar 2026 21:54:06 +0100
Subject: [PATCH 1/3] ci: Fix publish workflow

---
 .github/workflows/publish.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml
index 72edaf3bd..0f8a1d4e9 100644
--- a/.github/workflows/publish.yml
+++ b/.github/workflows/publish.yml
@@ -10,7 +10,7 @@ jobs:
       - name: Set up Java
         uses: actions/setup-java@v5
         with:
-          java-version: '11'
+          java-version: '17'
           distribution: 'zulu'
 
       - name: Setup Gradle

From e0e48ce4a3c129338fb822b8d0995a0d42e85632 Mon Sep 17 00:00:00 2001
From: Mykola Mokhnach <mokhnach@gmail.com>
Date: Wed, 11 Mar 2026 22:00:52 +0100
Subject: [PATCH 2/3] add manual republish

---
 .github/workflows/publish.yml | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml
index 0f8a1d4e9..77f7ba0ea 100644
--- a/.github/workflows/publish.yml
+++ b/.github/workflows/publish.yml
@@ -2,11 +2,20 @@ name: Publish package to the Maven Central Repository
 on:
   release:
     types: [created]
+  workflow_dispatch:
+    branches: [master]
+    inputs:
+      release_tag:
+        description: 'Tag to publish (e.g. v10.1.0). Use for re-publishing a release.'
+        required: true
 jobs:
   publish:
     runs-on: ubuntu-latest
+    if: github.event_name == 'workflow_dispatch' || github.event.release.target_commitish == 'master'
     steps:
       - uses: actions/checkout@v6
+        with:
+          ref: ${{ github.event_name == 'workflow_dispatch' && format('refs/tags/{0}', inputs.release_tag) || github.ref }}
       - name: Set up Java
         uses: actions/setup-java@v5
         with:

From 819c35f7337e4b2ca6ab23a9dcd7d49ee460de5f Mon Sep 17 00:00:00 2001
From: Mykola Mokhnach <mokhnach@gmail.com>
Date: Wed, 11 Mar 2026 22:02:41 +0100
Subject: [PATCH 3/3] condition

---
 .github/workflows/publish.yml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml
index 77f7ba0ea..f6e6e1800 100644
--- a/.github/workflows/publish.yml
+++ b/.github/workflows/publish.yml
@@ -11,7 +11,6 @@ on:
 jobs:
   publish:
     runs-on: ubuntu-latest
-    if: github.event_name == 'workflow_dispatch' || github.event.release.target_commitish == 'master'
     steps:
       - uses: actions/checkout@v6
         with: