Upgrade.aim.src: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ledger/upgrade.bend as Upgrade
Lines 79-87 of ezx@1.11.0.0/src/ledger/upgrade.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ledger/upgrade.bend&start_line=79&end_line=87

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

# a selected hub pin has nothing to follow
def aim.src(source: M.Source) -> Aim:
  match source:
    case M.Hub{_named}:
      Hold{}
    case M.Git{_url, _rev, +tag, _root, _nar, _vend}:
      aim.tag(String.is_empty(tag), tag)
    case M.Member{_path, _named}:
      Hold{}

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.is_empty
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/manifest.bend&name=Source
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/upgrade.bend&name=Aim
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/upgrade.bend&name=aim.tag