aboutsummaryrefslogtreecommitdiffstats
path: root/lib/kernel/BranchManager.ml (unfollow)
Commit message (Collapse)AuthorFilesLines
2026-08-27Branch serializationEstevan Castilho1-1/+8
2026-08-23The branch manager should persist changes to the rootEstevan Castilho1-1/+7
2026-08-23Register the branch manager as part of the object treeEstevan Castilho1-27/+36
2026-08-23Tidy upEstevan Castilho1-6/+10
2026-08-23Make `update` a bit more like compare-and-swapEstevan Castilho1-15/+21
2026-08-23BranchManager sketchEstevan Castilho1-11/+35
2026-08-23BranchManager stubsEstevan Castilho1-0/+29