Repository navigation

feat(git): declare the board and notes merge=union - #663

Merged

tieubao merged 7 commits into

feat/wrap-pop-union

Sep 16, 2026

Commits on Sep 16, 2026

feat(git): declare the board and notes merge=union
tieubao
committed
f638308
docs(verification): proof for the union declaration
tieubao
committed
ae3f0b0
refactor(wrap): union-merge a carried file that has no anchor
tieubao
committed
1f89393
chore(registry): regenerate the feature registry
tieubao
committed
cb8d38c
Merge remote-tracking branch 'origin/master' into feat/wrap-pop-union
tieubao
committed
aedda90
chore(board): ship ID-886, regenerate the feature registry
tieubao
committed
c5089e5
Merge remote-tracking branch 'origin/master' into feat/wrap-pop-union
tieubao
committed
39c6ce0