diff options
| author | Mike Frysinger <vapier@google.com> | 2025-04-30 14:38:52 -0400 |
|---|---|---|
| committer | LUCI <gerrit-scoped@luci-project-accounts.iam.gserviceaccount.com> | 2025-04-30 11:47:18 -0700 |
| commit | c448ba9cc7c68b91a122e293402dcc96f511b655 (patch) | |
| tree | 985d4f7a8c01d744230d1a8a4660d9cc9805f5ea /man/repo-manifest.1 | |
| parent | 21cbcc54e99db175619959a5b185bbb4d9b81d5a (diff) | |
| download | git-repo-c448ba9cc7c68b91a122e293402dcc96f511b655.tar.gz | |
run_tests: only allow help2man skipping in CI
Make sure we run this for local devs.
Change-Id: I472b7c347086d54649dd9d5778eea4737447b353
Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/471921
Tested-by: Mike Frysinger <vapier@google.com>
Reviewed-by: Scott Lee <ddoman@google.com>
Commit-Queue: Mike Frysinger <vapier@google.com>
Diffstat (limited to 'man/repo-manifest.1')
0 files changed, 0 insertions, 0 deletions