def resolves.one

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

import Base
import ezx@1.11.0.0/src/lock/up.bend as Up

675# whether a question asks the remote to resolve a ref: its tags, its HEAD,
676# or a named ref. A checkout at a known commit is not resolving.
677def resolves.one(ask: Up.Ask) -> Bool:
678  match ask:
679    case Up.Tags{_url}:
680      True{}
681    case Up.Head{_url}:
682      True{}
683    case Up.Refs{_url, _ref}:
684      True{}
685    case _:
686      False{}