diff options
Diffstat (limited to 'git_command.py')
| -rw-r--r-- | git_command.py | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/git_command.py b/git_command.py index 36fcfe7c..a5cf514b 100644 --- a/git_command.py +++ b/git_command.py | |||
| @@ -14,17 +14,20 @@ | |||
| 14 | 14 | ||
| 15 | import functools | 15 | import functools |
| 16 | import os | 16 | import os |
| 17 | import sys | ||
| 18 | import subprocess | 17 | import subprocess |
| 18 | import sys | ||
| 19 | from typing import Any, Optional | 19 | from typing import Any, Optional |
| 20 | 20 | ||
| 21 | from error import GitError | 21 | from error import GitError |
| 22 | from error import RepoExitError | 22 | from error import RepoExitError |
| 23 | from git_refs import HEAD | 23 | from git_refs import HEAD |
| 24 | import platform_utils | 24 | import platform_utils |
| 25 | from repo_trace import REPO_TRACE, IsTrace, Trace | 25 | from repo_trace import IsTrace |
| 26 | from repo_trace import REPO_TRACE | ||
| 27 | from repo_trace import Trace | ||
| 26 | from wrapper import Wrapper | 28 | from wrapper import Wrapper |
| 27 | 29 | ||
| 30 | |||
| 28 | GIT = "git" | 31 | GIT = "git" |
| 29 | # NB: These do not need to be kept in sync with the repo launcher script. | 32 | # NB: These do not need to be kept in sync with the repo launcher script. |
| 30 | # These may be much newer as it allows the repo launcher to roll between | 33 | # These may be much newer as it allows the repo launcher to roll between |
