Frontmatter
| id | 9124 |
| title | Robustify DevIndex Updater Workflow against Remote Changes |
| state | Closed |
| labels | enhancementaibuild |
| assignees | tobiu |
| createdAt | Feb 12, 2026, 10:55 PM |
| updatedAt | Feb 12, 2026, 10:56 PM |
| githubUrl | https://github.com/neomjs/neo/issues/9124 |
| author | tobiu |
| commentsCount | 0 |
| parentIssue | null |
| subIssues | [] |
| subIssuesCompleted | 0 |
| subIssuesTotal | 0 |
| blockedBy | [] |
| blocking | [] |
| closedAt | Feb 12, 2026, 10:56 PM |
The
devindex-updaterworkflow failed because the remotedevbranch diverged (force push or new commits) during the 6-minute execution of the update script.Error:
Solution: Add a
git pull origin dev --rebasestep before the final commit/push action. This ensures the local updates are replayed on top of the latest remote state, resolving the divergence.Implementation:
git pull origin dev --rebaseto.github/workflows/devindex-updater.ymlbefore the commit step.