diff options
author | Mike Frysinger <vapier@google.com> | 2020-02-12 11:23:32 -0500 |
---|---|---|
committer | Mike Frysinger <vapier@google.com> | 2020-02-12 20:54:57 +0000 |
commit | e19d9e1a65f9c4c357b46ebf1f0bb695401e76c5 (patch) | |
tree | e33c3d80c9a452e2212608d9a65938913aecda5c | |
parent | 8ddff5c74f533f4f125c957d7bd063452c59f0db (diff) | |
download | git-repo-e19d9e1a65f9c4c357b46ebf1f0bb695401e76c5.tar.gz |
sync: add a "finished" message
Some people find the existing output to be a bit confusing. It spews
a lot of git output before exiting, but it's not exactly clear what
the final state is when things pass. Add an explicit message.
Bug: https://crbug.com/gerrit/10501
Change-Id: I9de83b595d3185feb820005b8fc81c6adc55b357
Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/254732
Reviewed-by: Michael Mortensen <mmortensen@google.com>
Reviewed-by: Mike Frysinger <vapier@google.com>
Tested-by: Mike Frysinger <vapier@google.com>
-rw-r--r-- | subcmds/sync.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/subcmds/sync.py b/subcmds/sync.py index 937d6e87..3d42a0a7 100644 --- a/subcmds/sync.py +++ b/subcmds/sync.py | |||
@@ -1047,6 +1047,9 @@ later is required to fix a server side protocol bug. | |||
1047 | file=sys.stderr) | 1047 | file=sys.stderr) |
1048 | sys.exit(1) | 1048 | sys.exit(1) |
1049 | 1049 | ||
1050 | if not opt.quiet: | ||
1051 | print('repo sync has finished successfully.') | ||
1052 | |||
1050 | 1053 | ||
1051 | def _PostRepoUpgrade(manifest, quiet=False): | 1054 | def _PostRepoUpgrade(manifest, quiet=False): |
1052 | wrapper = Wrapper() | 1055 | wrapper = Wrapper() |