def tip.refs

ezx@1.11.0.0 · src/add/plan.bend:138

import Base
import ezx@1.11.0.0/src/add/world.bend as A
import ezx@1.11.0.0/src/lock/up.bend as Up
import ezx@1.11.0.0/src/git/git.bend as Git

138# a named ref, read exactly as `refs/tags/<ref>`, its peeled commit first,
139# then `refs/heads/<ref>`
140def tip.refs(printed: Up.Said, +world: A.World) -> Tip:
141  match printed:
142    case Up.Said{text}:
143      tip.found(Git.exact(Git.rows(String.lines(text)), A.ref(world)),
144        "ez: " ++ A.url(world) ++ " has no ref named " ++ A.ref(world))
145    case Up.Unsaid{why}:
146      TipNo{why}
147    case Up.Unasked{_ask}:
148      TipAsk{QRefs{A.ref(world)}}