def hop
import ezx@1.11.0.0/src/ws/hop.bend as Hopimport Base
import ezx@1.11.0.0/src/ws/root.bend as R
27# where a command runs, from what the search found. `top` is the top of the
28# checkout, as git printed it.
29def hop(+top: String, found: R.Found) -> Hop:
30 match found:
31 case R.Alone{}:
32 Here{}
33 case R.Within{root, rel}:
34 hop.within(top, root, rel)
35 case R.Broken{why}:
36 Stop{why}