gerrit: make external/ names a bit nicer to read
Add external/ to the list of common project prefixes we trim.
e.g. "external/git.kernel.org/fs/xfs/xfstests-dev".
BUG=None
TEST=`gerrit todo` has a slightly nicer list
Change-Id: Ia77f6fdc1a704db63ac0f45e0bc4d7b8719d12ad
Reviewed-on: https://chromium-review.googlesource.com/468247
Commit-Ready: Mike Frysinger <vapier@chromium.org>
Tested-by: Mike Frysinger <vapier@chromium.org>
Reviewed-by: Gwendal Grignou <gwendal@chromium.org>
diff --git a/scripts/gerrit.py b/scripts/gerrit.py
index afc2f40..c7f294b 100644
--- a/scripts/gerrit.py
+++ b/scripts/gerrit.py
@@ -188,7 +188,7 @@
# Strip off common leading names since the result is still
# unique over the whole tree.
if not opts.verbose:
- for pfx in ('chromeos', 'chromiumos', 'overlays', 'platform',
+ for pfx in ('chromeos', 'chromiumos', 'external', 'overlays', 'platform',
'third_party'):
if cl['project'].startswith('%s/' % pfx):
cl['project'] = cl['project'][len(pfx) + 1:]