def whole.run
import ezx@1.11.0.0/src/lock/run.bend as Runimport Base
import snap@1.4.0.0/main.bend as R
import ezx@1.11.0.0/src/lock/up.bend as Up
449# one git command of the checkout, and the rest of it when it worked
450def whole.run(+work: String, what: String, args: List<&2, String>, go: Unit -> IO(Up.Answer)) -> IO(Up.Answer):
451 do IO<Up.Answer>:
452 +out : String <- R.exec(args)
453 whole.ran(R.ok(out), work, "ez: git " ++ what ++ ": " ++ String.trim(R.text(out)), go)