Function is_github_src

marimo/_cli/files/file_path.py:24–32

(url: str, ext: str)

def is_github_src(url: str, ext: str) -> bool:
    if not is_url(url):
        return False

    hostname = urllib.parse.urlparse(url).hostname
    if hostname != "github.com" and hostname != "raw.githubusercontent.com":
        return False
    path: str = urllib.parse.urlparse(url).path
    return path.endswith(ext)


def get_github_src_url(url: str) -> str: