fix(ci): set up git credential helper for checkout v7 compatibility

actions/checkout v7 changed credential persistence from http.extraheader
to includeIf.gitdir-scoped config files. The collection-docs-action does
not pick up the new credential format, breaking git push to gh-pages.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
Signed-off-by: Felix Matouschek <fmatouschek@redhat.com>

.github/workflows/docs.yml

@@ -50,6 +50,14 @@ jobs:
           cp -rp ansible_collections \
             ${{ env.work_dir }}
 
+      - name: Set up git credentials for gh-pages push
+        run: |
+          cd ${{ env.collection_dir }}
+          git config credential.helper \
+            '!f() { echo "username=x-access-token"; echo "password=${GITHUB_TOKEN}"; }; f'
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+
       - name: Create changelog and documentation
         uses: ansible-middleware/collection-docs-action@main
         with: