The devindex-updater workflow failed because the remote dev branch diverged (force push or new commits) during the 6-minute execution of the update script.

Error:

! [rejected]        HEAD -> dev (non-fast-forward)

Solution:
Add a git pull origin dev --rebase step before the final commit/push action. This ensures the local updates are replayed on top of the latest remote state, resolving the divergence.

Implementation:

• Added git pull origin dev --rebase to .github/workflows/devindex-updater.yml before the commit step.
• Configured git user identity for the pull operation.