def tip.rev.pick
import ezx@1.11.0.0/src/git/git.bend as Gitimport Base
181# a HEAD row's commit, or "" when the row is the symref or not HEAD
182def tip.rev.pick(head: Bool, hex: Bool, rev: String) -> String:
183 match head:
184 case False{}:
185 ""
186 case True{}:
187 tip.rev.hex(hex, rev)