docs: formal spec + machine-checked proof for git refs over object storage - #721
Merged
Block DCO Check / DCO Check
succeeded
May 22, 2026 in 0s
All PR commits have appropriate sign-off
All commits in this PR have the appropriate sign-off. No further action is required
Details
all commits have the required DCO sign-off.
Loading