Home
last modified time | relevance | path

Searched refs:remove_remote (Results 1 – 4 of 4) sorted by relevance

/tools/external_updater/
Dgit_updater.py39 git_utils.remove_remote(self._proj_path, self.UPSTREAM_REMOTE_NAME)
Dgithub_archive_updater.py114 git_utils.remove_remote(self._proj_path, self.UPSTREAM_REMOTE_NAME)
Dcrates_updater.py83 git_utils.remove_remote(self._proj_path, self.UPSTREAM_REMOTE_NAME)
Dgit_utils.py50 def remove_remote(proj_path: Path, name: str) -> None: function