the token should not be needed

Author: Vladimir Kotal

.github/workflows/javadoc.yml

@@ -32,5 +32,4 @@ jobs:
         OPENGROK_PULL_REQUEST: ${{ github.head_ref }}
         OPENGROK_REF: ${{ github.ref }}
         OPENGROK_BUILD_DIR: ${{ github.workspace }}
-        GH_PAGES_TOKEN: ${{ secrets.GITHUB_TOKEN }}
       run: ./dev/javadoc.sh

dev/javadoc.sh

@@ -15,14 +15,15 @@ if [[ "${OPENGROK_REPO_SLUG}" != "oracle/opengrok" ||
 fi
 
 BRANCH="gh-pages"
-echo -e "Publishing javadoc to $BRANCH...\n"
 
+echo -e "Building Javadoc...\n"
 ./mvnw -DskipTests=true site
 
+echo -e "Publishing javadoc to $BRANCH...\n"
 git config --global user.email "[email protected]"
 git config --global user.name "Foo Bar"
 git clone --quiet --branch=$BRANCH \
-    https://${GH_PAGES_TOKEN}@github.com/oracle/opengrok "$BRANCH"
+    https://github.com/oracle/opengrok "$BRANCH"
 
 cd "$BRANCH"
 if [[ -d ./javadoc ]]; then