pub fn reachable_tip(
created: Option<&str>,
tip: &str,
trunk_reaches: bool,
) -> Option<Proof>Expand description
The third proof, judged: the trunk reaches tip, and the branch’s
creation entry names a commit other than tip.
A fresh branch still at the commit it was created at is new, not merged, so equality is no proof; and with no creation entry there is nothing to compare against, so the proof is unavailable.