tree 3c0b736fbe2156e857332091fd29300ced4af2b7
parent afd767103ee2b80a67beb6e5c4fa94dd025f6a75
author LaMont Jones <lamontjones@google.com> 1668047479 +0000
committer LaMont Jones <lamontjones@google.com> 1668469566 +0000

repo_trace: drop notification of trace file name.

The trace file is local to the workspace. We shouldn't tell the user
that on every command that they run.

Change-Id: I8674ab485bd5142814a043a225bf8aaca7795752
Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/351234
Tested-by: LaMont Jones <lamontjones@google.com>
Reviewed-by: Xin Li <delphij@google.com>