aboutsummaryrefslogtreecommitdiffstats
path: root/lib/kernel/BranchManager.mli (follow)
Commit message (Collapse)AuthorAgeFilesLines
* drop journal in favor of local branch historyMarcos Magueta2026-10-071-1/+7
|
* Register the branch manager as part of the object treeEstevan Castilho2026-08-231-7/+1
|
* Make `update` a bit more like compare-and-swapEstevan Castilho2026-08-231-4/+2
|
* BranchManager sketchEstevan Castilho2026-08-231-2/+2
|
* BranchManager stubsEstevan Castilho2026-08-231-0/+11