def tip.branch
import ezx@1.11.0.0/src/git/git.bend as Gitimport Base
225# the branch HEAD is, or "" when the remote did not say
226def tip.branch(rs: List<&2, Row>) -> String:
227 match rs:
228 case []:
229 ""
230 case +h <> t:
231 tip.step(String.is_empty(tip.branch.at(h)), tip.branch.at(h), _u => tip.branch(t))