Change manifest project name so it doesn't conflict with other hosts.
Bug: INTK-697 #comment
Change-Id: I7eb7c37a043845d463bc2b0d73c67bae7f1a8811
diff --git a/infra b/infra
index d186e13..8de79ee 100644
--- a/infra
+++ b/infra
@@ -4,7 +4,7 @@
<!-- Not importing the minimal one so that we can put this in a
sub-dir so that this can be imported into other manifests that
pull in manifest repos from multiple gerrit hosts. -->
- <project name="manifest"
+ <project name="manifest/fuchsia"
remote="https://fuchsia.googlesource.com/manifest"
gerrithost="https://fuchsia-review.googlesource.com"
githooks="manifest/fuchsia/git-hooks"
