aboutsummaryrefslogtreecommitdiffstats
path: root/lib/kernel/BranchManager.mli (unfollow)
Commit message (Expand)AuthorFilesLines
2026-08-23Make `update` a bit more like compare-and-swapEstevan Castilho1-4/+2
2026-08-23BranchManager sketchEstevan Castilho1-2/+2
2026-08-23BranchManager stubsEstevan Castilho1-0/+11