Pin.gap.git: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/share/pin.bend as Pin
Lines 8-23 of ezx@1.11.0.0/src/share/pin.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/share/pin.bend&start_line=8&end_line=23

import Base

# why a plain lock cannot copy a git pin as it stands, or "" when it can. The
# lock copies `rev` and `narHash` out of the ledger and never asks a remote
# for them, so a pin missing either is refused rather than filled, and the
# upgrade that fills it is named.
def gap.git(no_rev: Bool, no_nar: Bool, +name: String) -> String:
  match no_rev:
    case True{}:
      "ez: tools." ++ name ++ " has no rev; run `ez lock --upgrade --package " ++
        name ++ "` to pin it"
    case False{}:
      match no_nar:
        case True{}:
          "ez: tools." ++ name ++ " has no narHash; run `ez lock --upgrade --package " ++
            name ++ "` to pin it"
        case False{}:
          ""

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append