def forward.rev

ezx@1.11.0.0 · src/lock/up.bend:510

import Base

510# a remote with no HEAD is not one an upgrade can move
511def forward.rev(+rev: String, branch: String, +url: String) -> Tip:
512  Bool.pick(Tip, String.is_empty(rev), TipNo{"ez: " ++ url ++ " has no HEAD"},
513    At{rev, "", branch})