check git config

Author: JanFSchulte

.github/workflows/update-branch-on-pr.yml

@@ -17,6 +17,11 @@ jobs:
         token: ${{ secrets.PAT_HLSML_BUILD_SPHINX }}
     - name: Force token to be used
       run: git remote set-url origin https://x-access-token:${{ secrets.PAT_HLSML_BUILD_SPHINX }}@github.com/fastmachinelearning/hls4ml.git
+    - name: Show git config
+      run: |
+        echo "---- .git/config ----"
+        cat .git/config
+        echo "---------------------"
     - name: Push changes
       if: ${{ github.event.pull_request.head.repo.full_name != github.event.pull_request.base.repo.full_name && github.event.label.name == 'please test' }}
       run: |