def remote

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

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

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