This repository has been archived on 2026-09-30. You can view files and clone it. You cannot open issues or pull requests or push a commit.
Files
archmgr/config/dtype/git.py
T

16 lines
310 B
Python

from typing import Optional, TypedDict
class ArchMgrGitConfig(TypedDict):
creds: Optional[ArchMgrGitCredsConfig]
repos: Optional[list[ArchMgrGitRepoConfig]]
class ArchMgrGitCredsConfig(TypedDict):
manager: Optional[str]
class ArchMgrGitRepoConfig(TypedDict):
clone_path: str
url: str