fix(ci): clone did-crdt from the archive repo the pin lives on #6
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "refs/pull/6/head"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Problem
The release pipeline failed at the sibling-clone step:
cbcl-rsandspindle-rustchecked out fine; onlydid-crdtfailed.Root cause — wrong repo, not a bad pin
There are two same-named repos under
anuna, with no shared history:maindid-crdt(what CI cloned)adb5c7adid-crdt-archive06842517git merge-basebetween the two returns nothing — they are unrelated. The local../did-crdtpath dep that elephant builds and passes tests against hasorigin = did-crdt-archive, whosemainis exactlyDID_CRDT_REF = 06842517. CI was simply cloning the wrong one.Fix
Point the
did-crdtclone atdid-crdt-archive.git(one line), with a comment so the trap doesn't reappear. The pin itself is correct and unchanged.Note for follow-up (not in this PR)
The existence of a fresh
anuna/did-crdtreference-impl repo suggests an intended migration away from the archive. That's a real code change (unrelated history / possibly different API), not a CI tweak — worth a separate decision about which repo is canonical going forward. This PR only unblocks the release against the code we currently ship.🤖 Generated with Claude Code
https://claude.ai/code/session_01Q6GBsN4CfVF7QXAycnK2ip
Pull request closed