use 2 differnet tokens with appropriate permissions and clean up debugging stuff

Author: JanFSchulte

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

@@ -13,15 +13,7 @@ jobs:
       if: ${{ github.event.pull_request.head.repo.full_name != github.event.pull_request.base.repo.full_name && github.event.label.name == 'please test' }}
       with:
         ref: ${{ github.event.pull_request.head.sha }}
-        persist-credentials: true
-        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 "---------------------"
+        token: ${{ secrets.PAT_HLS4ML_WORKFLOW }}
     - 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: |