def descendant.clone
ezx@1.11.0.0 · src/git/exec.bend:132
import ezx@1.11.0.0/src/git/exec.bend as Exec
import Base
import snap@1.4.0.0/main.bend as R
132
133
134def descendant.clone(+work: String, +url: String, +pin: String, +tip: String) -> IO(Bool):
135 do IO<Bool>:
136 _rm : String <- R.exec(["rm", "-rf", work])
137 clone.bare(work, url)
138 +out : String <- R.exec(["git", "-C", work, "merge-base", "--is-ancestor",
139 pin, tip])
140 _cl : String <- R.exec(["rm", "-rf", work])
141 descendant.code(R.code(out), R.text(out))