diff options
| author | Mike Frysinger <vapier@google.com> | 2020-02-19 01:20:18 -0500 |
|---|---|---|
| committer | David Pursehouse <dpursehouse@collab.net> | 2020-02-19 08:23:04 +0000 |
| commit | 72ebf19e52e7c4b270e40ba07fec1048b3612797 (patch) | |
| tree | 2543c616eaae25fca8bc198dd2dac4f1142de6fa /project.py | |
| parent | e50b6a7c4f0a0cf3a97c8a1eec835156f68539f8 (diff) | |
| download | git-repo-72ebf19e52e7c4b270e40ba07fec1048b3612797.tar.gz | |
command: add a `repo help` tip to --help output
For people used to running `repo xxx --help`, they might not realize
that there are detailed man pages behind `repo help xxx`. Add a note
to all --help commands to improve discoverability.
Change-Id: I84af58aa0514cc7ead185f6c2534a8f88e09a236
Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/255853
Tested-by: Mike Frysinger <vapier@google.com>
Reviewed-by: David Pursehouse <dpursehouse@collab.net>
Diffstat (limited to 'project.py')
0 files changed, 0 insertions, 0 deletions