Plan.tip.refs: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/add/plan.bend as Plan
Lines 138-148 of ezx@1.11.0.0/src/add/plan.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/add/plan.bend&start_line=138&end_line=148

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

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

Uses (11):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.lines
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/add/plan.bend&name=Q
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/add/plan.bend&name=Tip
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/add/plan.bend&name=tip.found
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/add/world.bend&name=World
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/add/world.bend&name=ref
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/add/world.bend&name=url
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/git/git.bend&name=exact
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/git/git.bend&name=rows
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/up.bend&name=Said