From cf0fffed43d0ca7618cd0013411151e057b7a32a Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Mon, 18 May 2026 12:35:26 -0300 Subject: RNT interface Co-authored-by: Estevan Castilho --- lib/management/branch.ml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'lib/management/branch.ml') 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:" → serialized { name; tip } - - "branch_names" → serialized string list (index for enumeration) - - "head" → branch name as raw bytes *) + - "branch:" -> 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 -- cgit v1.2.3