def tip.rev.hex
import ezx@1.11.0.0/src/git/git.bend as Gitimport Base
173# a HEAD row whose first field is already a commit
174def tip.rev.hex(hex: Bool, rev: String) -> String:
175 match hex:
176 case True{}:
177 rev
178 case False{}:
179 ""