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

View source record →

📰 Research Paper
Loading…
⏳ Fetching content…