LearnNewsExamplesServices
Frontmatter
id9124
titleRobustify DevIndex Updater Workflow against Remote Changes
stateClosed
labels
enhancementaibuild
assigneestobiu
createdAtFeb 12, 2026, 10:55 PM
updatedAtFeb 12, 2026, 10:56 PM
githubUrlhttps://github.com/neomjs/neo/issues/9124
authortobiu
commentsCount0
parentIssuenull
subIssues[]
subIssuesCompleted0
subIssuesTotal0
blockedBy[]
blocking[]
closedAtFeb 12, 2026, 10:56 PM

Robustify DevIndex Updater Workflow against Remote Changes

Closed v12.0.0 enhancementaibuild
tobiu
tobiu commented on Feb 12, 2026, 10:55 PM

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.
tobiu added the enhancement label on Feb 12, 2026, 10:55 PM
tobiu added the ai label on Feb 12, 2026, 10:55 PM
tobiu added the build label on Feb 12, 2026, 10:55 PM
tobiu referenced in commit 51db6d2 - "ci: Robustify DevIndex Updater with git pull --rebase (#9124)" on Feb 12, 2026, 10:56 PM
tobiu assigned to @tobiu on Feb 12, 2026, 10:56 PM
tobiu closed this issue on Feb 12, 2026, 10:56 PM