tree 2543c616eaae25fca8bc198dd2dac4f1142de6fa
parent e50b6a7c4f0a0cf3a97c8a1eec835156f68539f8
author Mike Frysinger <vapier@google.com> 1582093218 -0500
committer David Pursehouse <dpursehouse@collab.net> 1582100584 +0000

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>