ci: Robustify DevIndex Updater with git pull --rebase (#9124)

Author: tobiu

.github/workflows/devindex-updater.yml

@@ -32,6 +32,12 @@ jobs:
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
 
+      - name: Pull latest changes
+        run: |
+          git config --global user.name "github-actions[bot]"
+          git config --global user.email "41898282+github-actions[bot]@users.noreply.github.com"
+          git pull origin dev --rebase
+
       - name: Commit and Push Changes
         uses: stefanzweifel/git-auto-commit-action@v5
         with: