Run.whole.run: def of ezx@1.13.0.0
Import: import ezx@1.13.0.0/src/lock/run.bend as Run
Lines 449-453 of ezx@1.13.0.0/src/lock/run.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.13.0.0/src/lock/run.bend&start_line=449&end_line=453

import Base
import snap@1.5.0.0/main.bend as R
import ezx@1.13.0.0/src/lock/up.bend as Up

# one git command of the checkout, and the rest of it when it worked
def whole.run(+work: String, what: String, args: List<&2, String>, go: Unit -> IO(Up.Answer)) -> IO(Up.Answer):
  do IO<Up.Answer>:
    +out : String <- R.exec(args)
    whole.ran(R.ok(out), work, "ez: git " ++ what ++ ": " ++ String.trim(R.text(out)), go)

Uses (12):
  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=String.append
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.trim
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/lock/run.bend&name=whole.ran
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/lock/up.bend&name=Answer
  https://jend.leeeet.dev/definition.txt?path=snap@1.5.0.0/main.bend&name=exec
  https://jend.leeeet.dev/definition.txt?path=snap@1.5.0.0/main.bend&name=ok
  https://jend.leeeet.dev/definition.txt?path=snap@1.5.0.0/main.bend&name=text