def dep.tip

ezx@1.11.0.0 · src/lock/up.bend:753

import Base
import ezx@1.11.0.0/src/ledger/manifest.bend as M

753# the commit the remote names, against the pin
754def dep.tip(tip: Tip, +rs: List<&2, Reply>, +hub: String, +dep: M.Dep) -> Fate:
755  match tip:
756    case At{+rev, tag, branch}:
757      dep.same(String.eq(M.source.rev(M.source.dep(dep)), rev), rs, hub, dep, rev,
758        tag, branch)
759    case TipWait{ask}:
760      Waits{[ask]}
761    case TipNo{why}:
762      Halts{why}