Skip to content

chore: fix VERSIONS motoko label (v1.8.0 → v1.8.2)#278

Merged
marc0olo merged 1 commit into
mainfrom
infra/fix-motoko-versions-label
May 27, 2026
Merged

chore: fix VERSIONS motoko label (v1.8.0 → v1.8.2)#278
marc0olo merged 1 commit into
mainfrom
infra/fix-motoko-versions-label

Conversation

@marc0olo
Copy link
Copy Markdown
Member

Summary

  • Corrects the motoko label in .sources/VERSIONS from v1.8.0 to v1.8.2 to match the actual pinned submodule commit (b77651f, which is 2 commits ahead of the v1.8.2 tag)
  • Prevents the sync-motoko workflow from opening false-positive bump PRs (it compares VERSIONS against the latest release tag; the stale label was causing it to see v1.8.0 ≠ v1.8.2 and trigger a PR even though the submodule was already at or ahead of v1.8.2)

Sync recommendation

hand-written

@marc0olo marc0olo requested a review from a team as a code owner May 27, 2026 11:12
@marc0olo marc0olo mentioned this pull request May 27, 2026
3 tasks
@marc0olo marc0olo merged commit 0c2daa0 into main May 27, 2026
7 checks passed
@marc0olo marc0olo deleted the infra/fix-motoko-versions-label branch May 27, 2026 11:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants