pull -> push

Author: brown9804

.github/workflows/update-md-date.yml

@@ -7,16 +7,18 @@ on:
 
 permissions:
   contents: write
+  pull-requests: write
 
 jobs:
   update-date:
     runs-on: ubuntu-latest
 
     steps:
-      - name: Checkout repository
+      - name: Checkout PR branch
         uses: actions/checkout@v4
         with:
           fetch-depth: 0
+          ref: ${{ github.event.pull_request.head.ref }}
 
       - name: Set up Python
         uses: actions/setup-python@v4
@@ -34,8 +36,13 @@ jobs:
       - name: Update last modified date in Markdown files
         run: python .github/workflows/update_date.py
 
-      - name: Commit changes
+      - name: Pull (merge) remote changes, commit, and push if needed
+        env:
+          TOKEN: ${{ secrets.GITHUB_TOKEN }}
         run: |
+          BRANCH="${{ github.event.pull_request.head.ref }}"
+          git pull origin "$BRANCH" || echo "No merge needed"
           git add -A
           git commit -m "Update last modified date in Markdown files" || echo "No changes to commit"
-          git push origin HEAD:${{ github.event.pull_request.head.ref }}
+          git remote set-url origin https://x-access-token:${TOKEN}@github.com/${{ github.repository }}
+          git push origin HEAD:"$BRANCH"