Function _git_log_date

tools/docs_and_notebooks_check.py:453–466

(repo_root: Path, rel_path: str, extra_args: Sequence[str] = ())

def _git_log_date(repo_root: Path, rel_path: str, extra_args: Sequence[str] = ()) -> date | None:
    args = [
        "log",
        "-1",
        "--date=short",
        "--format=%cd",
        *extra_args,
        "--",
        rel_path,
    ]
    code, out, _err = _run_git(args, cwd=repo_root)
    if code != 0:
        return None
    return _parse_git_iso_date(out)


def git_last_touched(repo_root: Path, rel_path: str) -> date | None: