commit 8a11f6f24cecac28e7cdb3f5d0d7c83aec0df017
author Mike Frysinger <vapier@google.com> Tue Aug 27 00:26:15 2019 -0400
committer Mike Frysinger <vapier@google.com> Tue Aug 27 07:08:52 2019 +0000
tree dc1e4815412030e99566be30a4b2a6c2ee6d03ea
parent 898f4e6217ff6d848091f69ef64a10269c9da1cd

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>

progress.py

diff --git a/progress.py b/progress.py
index 6431695..7d4f71f 100644
--- a/progress.py
+++ b/progress.py
@@ -17,7 +17,7 @@
 import os
 import sys
 from time import time
-from trace import IsTrace
+from repo_trace import IsTrace
 
 _NOT_TTY = not os.isatty(2)