use PAT token to trigger push event

Author: staticlibs

.github/workflows/Nightly.yml

@@ -19,8 +19,6 @@ on:
         required: false
         default: ''
         type: 'string'
-  schedule:
-    - cron: "17 0 * * *"
 
 name: Vendor upstream DuckDB sources
 
@@ -41,6 +39,7 @@ jobs:
       - uses: actions/checkout@v4
         with:
           fetch-depth: 0
+          token: ${{ secrets.PAT_TOKEN }}
 
       - uses: actions/checkout@v4
         with:
@@ -80,13 +79,3 @@ jobs:
       - if: steps.vendor.outputs.vendor != '' && github.event_name != 'pull_request'
         run: |
           git push -u origin HEAD
-
-      - name: Wait for push to complete
-        if: steps.vendor.outputs.vendor != '' && github.event_name != 'pull_request'
-        run: sleep 10  # Give GitHub a moment to process the push
-
-  rebuild:
-    needs: vendor
-    if: ${{ needs.vendor.outputs.did_vendor != '' }}
-    uses: ./.github/workflows/Java.yml
-    secrets: inherit