diff options
Diffstat (limited to '')
| -rw-r--r-- | lib/management/branch.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lib/management/branch.ml b/lib/management/branch.ml index 801c43d..ea9d525 100644 --- a/lib/management/branch.ml +++ b/lib/management/branch.ml @@ -1,8 +1,8 @@ (** Branch registry: named pointers to database tip hashes, plus HEAD tracking. Stored in the Physical backend under reserved key prefixes: - - "branch:<name>" → serialized { name; tip } - - "branch_names" → serialized string list (index for enumeration) - - "head" → branch name as raw bytes *) + - "branch:<name>" -> serialized { name; tip } + - "branch_names" -> serialized string list (index for enumeration) + - "head" -> branch name as raw bytes *) type t = { name : string; tip : Conventions.Hash.t } type head = string |