Target.github.ok: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ez/target.bend as Target
Lines 203-207 of ezx@1.11.0.0/src/ez/target.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ez/target.bend&start_line=203&end_line=207

import Base

# `owner/repo`: exactly two segments, each a `seg`, the second not ending in
# `.bend`. A second slash leaves the right half with a slash in it, which no
# segment holds.
def github.ok(text: String) -> Bool:
  github.halves(halve(text))

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  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/ez/target.bend&name=github.halves
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ez/target.bend&name=halve