use admin pat to bypass branch protection ruleset

Author: hal-eisen-adfa

.github/workflows/update-libs.yml

@@ -16,6 +16,11 @@ jobs:
     steps:
       - name: Checkout plugin-examples
         uses: actions/checkout@v4
+        with:
+          # PAT from a repo admin so the libs/ push bypasses the main ruleset.
+          # Falls back to GITHUB_TOKEN if the secret is unset (push will then
+          # be blocked by the ruleset, which is the safe default).
+          token: ${{ secrets.ADMIN_PERSONAL_ACCESS_TOKEN || github.token }}
 
       - name: Set up JDK 17
         uses: actions/setup-java@v4