diff options
author | Mike Frysinger <vapier@google.com> | 2019-08-27 00:26:15 -0400 |
---|---|---|
committer | Mike Frysinger <vapier@google.com> | 2019-08-27 07:08:52 +0000 |
commit | 8a11f6f24cecac28e7cdb3f5d0d7c83aec0df017 (patch) | |
tree | dc1e4815412030e99566be30a4b2a6c2ee6d03ea /git_refs.py | |
parent | 898f4e6217ff6d848091f69ef64a10269c9da1cd (diff) | |
download | git-repo-8a11f6f24cecac28e7cdb3f5d0d7c83aec0df017.tar.gz |
rename local trace module
There is a standard Python "trace" module, so having a local trace.py
prevents us being able to import that. Rename the module to avoid.
Change-Id: I23e29ec95a2204bb168a641323d05e76968d9b57
Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/234832
Reviewed-by: David Pursehouse <dpursehouse@collab.net>
Tested-by: Mike Frysinger <vapier@google.com>
Diffstat (limited to 'git_refs.py')
-rw-r--r-- | git_refs.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/git_refs.py b/git_refs.py index 3187783a..98ed1e2f 100644 --- a/git_refs.py +++ b/git_refs.py | |||
@@ -15,7 +15,7 @@ | |||
15 | # limitations under the License. | 15 | # limitations under the License. |
16 | 16 | ||
17 | import os | 17 | import os |
18 | from trace import Trace | 18 | from repo_trace import Trace |
19 | import platform_utils | 19 | import platform_utils |
20 | 20 | ||
21 | HEAD = 'HEAD' | 21 | HEAD = 'HEAD' |