Searched refs:add_remote (Results 1 – 2 of 2) sorted by relevance
/tools/external_updater/ | ||
D | git_updater.py | 47 git_utils.add_remote(self._proj_path, self.UPSTREAM_REMOTE_NAME, |
D | git_utils.py | 40 def add_remote(proj_path: Path, name: str, url: str) -> None: function |