diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-05-18 12:35:26 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2026-05-18 12:35:26 -0300 |
| commit | cf0fffed43d0ca7618cd0013411151e057b7a32a (patch) | |
| tree | 35915aee3f7160b9ff6b41c3c0502b34050f642c /lib/management/branch.ml | |
| parent | e3d3e20dfea253de291d5b31059cd55c0eaabf02 (diff) | |
| download | Sakura-cf0fffed43d0ca7618cd0013411151e057b7a32a.tar.gz Sakura-cf0fffed43d0ca7618cd0013411151e057b7a32a.zip | |
RNT interface
Co-authored-by: Estevan Castilho <tevo@riajuu.net>
Diffstat (limited to 'lib/management/branch.ml')
| -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 |