def remote.got

ezx@1.11.0.0 · src/git/exec.bend:77

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

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