Restoring the OSSRH server identifier, since it's the only way to hav…

…e the release pushed to Maven central.
Riduidel · Feb 27, 2023 · 5c0bbee · 5c0bbee
1 parent 5a3e1f5
commit 5c0bbee
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/.github/workflows/on_release_perform_maven_release.yml b/.github/workflows/on_release_perform_maven_release.yml
@@ -56,6 +56,12 @@ jobs:
         with:
           override: true
           githubServer: true
+          servers: |
+            [{
+                "id": "ossrh",
+                "username": "${{ secrets.OSS_SONATYPE_USERNAME }}",
+                "password": "${{ secrets.OSS_SONATYPE_PASSWORD }}"
+            }]
           properties: |
             [
               {"aadarchi.github.token": "${{ secrets.TOKEN_FOR_GITHUB }}" },