Module git

Enums§

count_genesis_trailers: Count the number of Genesis-Index trailers in the merge history.
fetch: Fetch a remote branch.
git_cmd: Run a git command (public wrapper). Returns stdout.
git_cmd_in: Run a git command in a specific directory. Returns stdout.
log_merge_commits: Get merge commits from genesis_commit..HEAD, oldest first. Returns (hash, full commit message) pairs.
log_merge_commits_ref: Walk merge commits between genesis_commit and end_ref (e.g. “origin/master”).
parse_trailer: Extract a trailer value from a commit message. Trailers are lines like Genesis-Commit: {...} at the end of the message.
read_genesis_commit_hash: Read the genesis commit hash from the Lean source file.
repo_root: Parse the root of the git repo.
show_file: Show a file from a git ref (e.g. origin/genesis-state:genesis.json).