Searched refs:delete_branch (Results 1 – 2 of 2) sorted by relevance
/tools/external_updater/ | ||
D | git_utils.py | 185 def delete_branch(proj_path: Path, branch_name: str) -> None: function |
D | external_updater.py | 113 git_utils.delete_branch(full_path, TMP_BRANCH_NAME) |