Up.follow: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/lock/up.bend as Up
Lines 505-508 of ezx@1.11.0.0/src/lock/up.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/lock/up.bend&start_line=505&end_line=508

import Base
import ezx@1.11.0.0/src/git/git.bend as Git

# the commit a ref names, as `Git.resolve` reads it: a 40-hex ref is a commit
# already, and asks the remote nothing
def follow(+rs: List<&2, Reply>, +url: String, +ref: String) -> Tip:
  follow.ask(Git.is_rev(ref), rs, url, ref)

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/git/git.bend&name=is_rev
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/up.bend&name=Reply
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/up.bend&name=Tip
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/up.bend&name=follow.ask