Up.source.back: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ws/up.bend as Up
Lines 32-47 of ezx@1.11.0.0/src/ws/up.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ws/up.bend&start_line=32&end_line=47

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

# a source with the pin the joint ledger now gives it: the joint's commit,
# tag, root and narHash, and this ledger's own url and vendor bit
def source.back(own: M.Source, joint: M.Source) -> M.Source:
  match own:
    case M.Hub{nv}:
      M.Hub{nv}
    case M.Git{url, _rev, _tag, _root, _nar, vend}:
      match joint:
        case M.Hub{_jn}:
          M.Git{url, _rev, _tag, _root, _nar, vend}
        case M.Git{_ju, jr, jt, jo, jn, _jv}:
          M.Git{url, jr, jt, jo, jn, vend}
        case M.Member{_jp, _jm}:
          M.Git{url, _rev, _tag, _root, _nar, vend}
    case M.Member{path, named}:
      M.Member{path, named}

Uses (1):
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/manifest.bend&name=Source