TSK-1548: now using PAT of admin for release job

.github/workflows/continuous-integration.yml

@@ -322,6 +322,11 @@ jobs:
         uses: actions/checkout@v2
         with:
           fetch-depth: 0 # necessary for push back
+          # NOTE @v2 uses the token as an auth http header. Set it to
+          # a Personal Access Token instead of secrets.GITHUB_TOKEN
+          # so that tag pushes trigger repo push events.
+          # source: https://github.community/t/action-does-not-trigger-another-on-push-tag-action/17148/7
+          token: ${{ secrets.ADMIN_PERSONAL_ACCESS_TOKEN }}
       - name: Set up JDK ${{ env.JAVA_VERSION }}
         uses: actions/setup-java@v1
         with: