Exec.clone.say: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/git/exec.bend as Exec
Lines 40-50 of ezx@1.11.0.0/src/git/exec.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/git/exec.bend&start_line=40&end_line=50

import Base
import ezx@1.11.0.0/src/share/say.bend as Say
import ezx@1.11.0.0/src/share/spin.bend as Spin

# the checkout a package is taken from: the pinned commit alone, at the depth
# of one, so a repo with a long history costs nothing to vendor. The fetch is
# quiet; the line above it is what a person sees while it runs.
def clone.say(+work: String, +url: String, +rev: String, +msg: String) -> IO(Unit):
  do IO<Unit>:
    +s : Say.Spin <- Spin.hold(msg)
    +from : String <- anchored(url)
    run("init", ["git", "init", "-q", work])
    run("fetch", ["git", "-C", work, "fetch", "-q", "--depth", "1", from, rev])
    run("checkout", ["git", "-C", work, "checkout", "-q", rev])
    Spin.done(s)

Uses (10):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.bind
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/git/exec.bend&name=anchored
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/git/exec.bend&name=run
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/share/say.bend&name=Spin
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/share/spin.bend&name=done
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/share/spin.bend&name=hold