Skip to content

deps: fix datascript pin SHA (e439cbac -> e439cba8) - #27

Closed
tiensonqin wants to merge 1 commit into
mainfrom
devin/datascript-pin-fix
Closed

tiensonqin wants to merge 1 commit into
mainfrom
devin/datascript-pin-fix

Conversation

@tiensonqin

Copy link
Copy Markdown
Contributor

Summary

PR #26 pinned datascript to e439cbac48b2..., which is not reachable on logseq/datascript-ocaml (GitHub rejects fetch-by-SHA with "not our ref"), so the vendor job fails. The actual merge commit of the Int64 change on main is e439cba85fa0a5b35277959f4737510e3b6a45a7 — same tree, correct SHA.

Local: dune build @shared/native/runtest green (718 tests).

Link to Devin session: https://app.devin.ai/sessions/9a91e201984a4d4f96ce3e0f86ac6668
Open in Devin Desktop: https://app.devin.ai/desktop/session/9a91e201984a4d4f96ce3e0f86ac6668?variant=devin
Requested by: @tiensonqin

The e439cbac48b2 SHA was a stale pre-merge object not reachable upstream
(GitHub rejects fetch-by-SHA: 'not our ref'), breaking the vendor job.
Pin the actual merge commit on main.
@devin-ai-integration

Copy link
Copy Markdown

I'll fix CI failures and address comments from users with write access. I'll skip comments containing "(aside)".

  • Disable automatic comment, CI, and merge conflict monitoring

@tiensonqin tiensonqin closed this Sep 26, 2026
@tiensonqin
tiensonqin deleted the devin/datascript-pin-fix branch September 26, 2026 14:30
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.

1 participant