Skip to content

Conversation

@CalvinAllen
Copy link
Contributor

Summary

  • Add git pull --rebase origin main before pushing manifest changes
  • Prevents push failures when other PRs are merged during workflow execution

@CalvinAllen CalvinAllen merged commit d468ec0 into main Jan 26, 2026
2 checks passed
@CalvinAllen CalvinAllen deleted the fix/ci/manifest-rebase branch January 26, 2026 15:48
@CalvinAllen
Copy link
Contributor Author

/skip-changelog

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

2 participants