Skip to content

openDox root: pin both carved legs and record carved_from (split-opendox § 3.3, RULED OQ-I) - #4

Merged
brettheap merged 2 commits into
mainfrom
carve/opendox-root-pin
Sep 10, 2026
Merged

openDox root: pin both carved legs and record carved_from (split-opendox § 3.3, RULED OQ-I)#4
brettheap merged 2 commits into
mainfrom
carve/opendox-root-pin

Say which pin files carry `carve_commit:`, and which fields the arriv…

6f6096e
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar