Skip to content

chore(sync): reconcile the a4fe7d86 and 08e75317 entries with #419 - #422

Merged
IgorShevchik merged 1 commit into
mainfrom
sync/reconcile-08e7531
Aug 17, 2026
Merged

chore(sync): reconcile the a4fe7d86 and 08e75317 entries with #419#422
IgorShevchik merged 1 commit into
mainfrom
sync/reconcile-08e7531

Conversation

@IgorShevchik

Copy link
Copy Markdown
Collaborator

Bookkeeping only, per PORTING.md §6 step 4: the last entries of a run cannot name their own merge, so they land as pending-merge and a follow-up fills them in.

Both were merged together in #419, squash ef8ba7b8.

-    "pr": "pending-merge",
-    "b24ui_sha": "pending-merge",
+    "pr": 419,
+    "b24ui_sha": "ef8ba7b8e429525b5c4c36065f34914d0941d24e",

×2 — a4fe7d86 and 08e75317.

State after this

  • No pending-merge anywhere in the ledger.
  • 249 entries.
  • cursor = 08e753174f634400190d8dc0a36dbd3471d1f5e5 = nuxt/ui@v4 HEAD — the queue is empty.

Verify

Four JSON fields; nothing executable changes. The only spec that reads .sync/ is test/utils/icon-map.spec.ts, and it reads icon-map.json, not this file — the other .sync mentions under test/ are prose in comments. Checked with lint and the test/utils suite (415 tests, 22 files), plus a parse check on the ledger, rather than the full gauntlet.


Generated by Claude Code

Bookkeeping only, per PORTING.md §6 step 4: the last entries of a run
cannot name their own merge, so they land as `pending-merge` and a
follow-up fills them in.

Both were merged together in #419, squash `ef8ba7b8`. No `pending-merge`
remains, and `cursor` is `08e75317` — equal to `nuxt/ui@v4` HEAD, so the
queue is empty.

Four JSON fields. Nothing executable changes: the only spec that reads
`.sync/` is `icon-map.spec.ts`, and it reads `icon-map.json`, not this
file. Verified with lint and the `test/utils` suite (415 tests) rather than
the full gauntlet.
@IgorShevchik
IgorShevchik merged commit 0fbc91c into main Aug 17, 2026
1 check passed
@IgorShevchik
IgorShevchik deleted the sync/reconcile-08e7531 branch August 17, 2026 06:08
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