Function extract_github_repo

website/build.py:83–86

Extract owner/repo from a GitHub repo URL. Returns None for non-GitHub URLs.

(url: str)

def extract_github_repo(url: str) -> str | None:
    """Extract owner/repo from a GitHub repo URL. Returns None for non-GitHub URLs."""
    m = GITHUB_REPO_URL_RE.match(url)
    return m.group(1) if m else None


def load_stars(path: Path) -> dict[str, dict]: