Code cleanup

.github/workflows/deploy_to_maven_central.yml

@@ -26,7 +26,6 @@ jobs:
       - uses: actions/checkout@v4
         with:
           ref: ${{ github.ref }}
-          token: ${{ secrets.WORKFLOW_TOKEN }}
       - uses: actions/setup-java@v4
         with:
           distribution: zulu
@@ -139,13 +138,14 @@ jobs:
 
   document:
     name: Publish Javadoc documentation
-    needs: [ open-release, deploy ]
+    needs: [ open-release ]
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
         with:
           ref: ${{ needs.open-release.outputs.TAG }}
           fetch-depth: 0
+          token: ${{ secrets.WORKFLOW_TOKEN }}
       - uses: actions/setup-java@v4
         with:
           distribution: zulu
@@ -158,15 +158,16 @@ jobs:
           git config user.email "[email protected]"
           git config user.name "Gili Tzabari"
 
+      # Must quote exclamation mark on bash: https://stackoverflow.com/a/27177197/14731
       - name: Generate Javadoc
         run: |
-          ./mvnw --batch-mode -V -e verify javadoc:aggregate -pl !dropwizard,!jersey
+          ./mvnw --batch-mode -V -e verify javadoc:aggregate -pl '!dropwizard,!jersey'
           mkdir --parents "${{ needs.open-release.outputs.VERSION }}/docs"
           mv target/reports/apidocs "${{ needs.open-release.outputs.VERSION }}/docs/api"
 
       - name: Commit changes
         run: |
-          git checkout gh-pages
+          git checkout gh-pages -f
           echo "INITIAL_GH_PAGES_POSITION=$(git rev-parse HEAD)" >> "$GITHUB_OUTPUT"
           git add "${{ needs.open-release.outputs.VERSION }}/docs/api"
           git commit -m "Released version ${{ needs.open-release.outputs.VERSION }}"
@@ -250,8 +251,8 @@ jobs:
             git push -f origin ${{ github.ref_name }}
           fi
 
-      - name: Delete master's tag
-        if: needs.open-release.outputs.INITIAL_MASTER_POSITION != ''
+      - name: Delete tag
+        if: needs.open-release.outputs.TAG != ''
         run: |
           git push --delete origin ${{ needs.open-release.outputs.TAG }}
 

docs/Changelog.md

@@ -1,7 +1,7 @@
 Minor updates involving cosmetic changes have been omitted from this list. See [commits](../../commits/master)
 for a full list.
 
-## Version 5.1 - 2024/10/29
+## Version 5.1 - 2024/10/31
 
 * Javadoc fixes.