INNER CODE UNIT · Python
github_owner_repo
crocs-muni/javacard-curated-list · scripts/process_curated_list.py:67
def github_owner_repo(url_or_text):
m = GITHUB_RE.search(url_or_text)
if not m:
return None
owner, repo = m.group(1), re.sub(r"\.git$", "", m.group(2))
return (owner, repo)
def shields_badge_owner_repo(url_or_text):
m = SHIELDS_GITHUB_RE.search(url_or_text)
if not m:
return None
return (m.group(1), m.group(2))
def parse_entries(markdown_text):
lines = markdown_text.split("\n")
category = None