tree a22e54c9a800d083720b74123590a4fedf42f9f0
parent 9122bfc3a80367ed303e8e2d3b3b3d7a8851c904
author Mike Frysinger <vapier@google.com> 1627329560 -0400
committer Mike Frysinger <vapier@google.com> 1627731575 +0000

man: make output system independent

The current help output might change based on the number of CPU cores
available (since it reflects the dynamic --jobs logic).  This is good
for users running repo locally, but not good for shipping static man
pages.  Hook the help output to have it generate the same output all
the time.

Change-Id: I3098ceddc0ad914b0b8e3b25d660b5a264cb41ee
Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/312882
Reviewed-by: Roger Shimizu <rosh@debian.org>
Reviewed-by: Mike Frysinger <vapier@google.com>
Tested-by: Mike Frysinger <vapier@google.com>