def tool.git

ezx@1.11.0.0 · src/lock/up.bend:1064

import Base
import ezx@1.11.0.0/src/ledger/manifest.bend as M

1064# a selected tool names a repo, or it cannot be pinned
1065def tool.git(git: Bool, +rs: List<&2, Reply>, +tool: M.Tool) -> Pinned:
1066  match git:
1067    case False{}:
1068      PinHalt{"ez: tools." ++ M.tool.name(tool) ++ " has no git"}
1069    case True{}:
1070      +src = M.tool.source(tool)
1071      tool.short(Bool.or(String.is_empty(M.source.rev(src)),
1072        String.is_empty(M.source.nar(src))), rs, tool)