Skip to content

Split large UID sets into bounded FETCH commands - #123

Draft
mpscholten wants to merge 1 commit into
qnikst:masterfrom
mpscholten:codex/bound-uid-fetch
Draft

Split large UID sets into bounded FETCH commands#123
mpscholten wants to merge 1 commit into
qnikst:masterfrom
mpscholten:codex/bound-uid-fetch

Bound exact UID-set FETCH commands

fc10be2
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

11 warnings
stack / ghc 9.8.4
succeeded Aug 8, 2026 in 2m 0s