\o/

@emanresuA How do you feel about me changing load_files_from_github() in python_utils.py to also create directories if they match the regex? I think that'll be the easiest way to handle complex directory trees.

for file in filetree["tree"]:
    path = file["path"]
    if re.match(regex, path):
        if file["type"] == "blob":
            await load_file(repository, branch, path)
        elif file["type"] == "tree":
            os.mkdir(path)

Oh, actually, I'd probably want to make that re.fullmatch so as to avoid unintended surprises

Sounds good to me! That works for nested directories as well, right?

Yes, as long as the JSON lists a directory before any of its contents, which I'm assuming it does.