fix(ci): use global git config for http.extraheader

The docs workflow copies the checkout to a work directory before the
credential setup step runs. The action then operates on the copy, so
--local config on the original checkout is not visible. Switch to
--global so credentials apply to all git operations on the runner.

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

.github/workflows/docs.yml

@@ -52,9 +52,8 @@ jobs:
 
       - name: Set up git credentials for gh-pages push
         run: |
-          cd ${{ env.collection_dir }}
           BASIC_AUTH=$(echo -n "x-access-token:${GITHUB_TOKEN}" | base64)
-          git config --local http.https://github.com/.extraheader \
+          git config --global http.https://github.com/.extraheader \
             "AUTHORIZATION: basic ${BASIC_AUTH}"
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}