def tip.rev.at

ezx@1.11.0.0 · src/git/git.bend:189

import Base

189# this row's commit when it is HEAD's commit
190def tip.rev.at(line: Row) -> String:
191  Row{+rev, name} = line
192  tip.rev.pick(String.eq(name, "HEAD"), is_rev(rev), rev)