Exec.remote: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/git/exec.bend as Exec
Lines 94-100 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=94&end_line=100

import Base
import snap@1.4.0.0/main.bend as R
import ezx@1.11.0.0/src/git/git.bend as G

# HEAD on the remote: the commit the default branch tips, and that branch's
# name. `--symref` is what puts the branch on the line in front of the commit.
def remote(+url: String) -> IO(G.Tip):
  do IO<G.Tip>:
    +from : String <- anchored(url)
    +out : String <- R.exec(["git", "ls-remote", "--symref", from, "HEAD"])
    remote.said(R.ok(out), url, R.text(out))

Uses (10):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.bind
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/git/exec.bend&name=anchored
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/git/exec.bend&name=remote.said
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/git/git.bend&name=Tip
  https://jend.leeeet.dev/definition.txt?path=snap@1.4.0.0/main.bend&name=exec
  https://jend.leeeet.dev/definition.txt?path=snap@1.4.0.0/main.bend&name=ok
  https://jend.leeeet.dev/definition.txt?path=snap@1.4.0.0/main.bend&name=text