gerrit: strip out aosp/ prefixes in short output

We have a few repos under aosp/, but none of them are duplicated
with other repos, so we can safely strip it off while maintaining
"general uniqueness" in this short output.

BUG=None
TEST=`gerrit todo` shows shorter names for shill

Change-Id: I1e7f086a552475ec2817143e9d6a610326a2db1f
Reviewed-on: https://chromium-review.googlesource.com/1091594
Commit-Ready: Mike Frysinger <vapier@chromium.org>
Tested-by: Mike Frysinger <vapier@chromium.org>
Reviewed-by: Lann Martin <lannm@chromium.org>
diff --git a/scripts/gerrit.py b/scripts/gerrit.py
index ddbf626..1b477c7 100644
--- a/scripts/gerrit.py
+++ b/scripts/gerrit.py
@@ -205,8 +205,8 @@
     # Strip off common leading names since the result is still
     # unique over the whole tree.
     if not opts.verbose:
-      for pfx in ('chromeos', 'chromiumos', 'external', 'overlays', 'platform',
-                  'third_party'):
+      for pfx in ('aosp', 'chromeos', 'chromiumos', 'external', 'overlays',
+                  'platform', 'third_party'):
         if cl['project'].startswith('%s/' % pfx):
           cl['project'] = cl['project'][len(pfx) + 1:]