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# the clone, the question, the clone gone. The same commit is a descendant
133# of itself and needs no clone to say so.
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))

Uses (11)

Used by (1)