Exec.remote.got: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/git/exec.bend as Exec
Lines 77-83 of ezx@1.11.0.0/src/git/exec.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/git/exec.bend&start_line=77&end_line=83

import Base
import ezx@1.11.0.0/src/git/git.bend as G

# a remote with no HEAD is not a repo an upgrade can move
def remote.got(empty: Bool, +rev: String, +branch: String, +url: String) -> IO(G.Tip):
  match empty:
    case True{}:
      IO.die(G.Tip, 1, "ez: " ++ url ++ " has no HEAD")
    case False{}:
      IO.pure(G.Tip, G.Tip{rev, branch})

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.die
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.pure
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/git/git.bend&name=Tip