def tip.chosen

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

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

167# the tag chosen, through its peeled commit, or HEAD when none was
168def tip.chosen(none: Bool, +chosen: String, +rows: List<&2, Git.Row>, +world: A.World) -> Tip:
169  match none:
170    case False{}:
171      tip.found(Git.exact(rows, chosen),
172        "ez: " ++ A.url(world) ++ " has no tag named " ++ chosen)
173    case True{}:
174      tip.head(said(world, QHead{}), world)