commit 6860d0dbece42259899d28ecfc50c224964f20c2
author Joshua Seaton <joshuaseaton@google.com> Wed Jul 17 13:30:04 2019 -0700
committer Joshua Seaton <joshuaseaton@google.com> Wed Jul 17 13:30:04 2019 -0700
tree e8952e60caef83a6edb61ea8099fd574441f1c78
parent 58289f444c329ba6c43ce21d084d2c32171c7114

[infra] Update manifest repo location

manifest/fuchsia -> fuchsia/manifest
alongside the other fuchsia repos.

Change-Id: I9d9785b2de46fa3e3c841a769fb434aa0085d7ac

infra

diff --git a/infra b/infra
index 60480dc..21ea70f 100644
--- a/infra
+++ b/infra
@@ -5,11 +5,11 @@
     <!-- 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/fuchsia"
+    <project name="fuchsia/manifest"
              remote="https://fuchsia.googlesource.com/manifest"
              gerrithost="https://fuchsia-review.googlesource.com"
              githooks="manifest/fuchsia/git-hooks"
-             path="manifest/fuchsia"/>
+             path="fuchsia/manifest"/>
     <!-- Name things <gerrit-host-prefix> so that this can be imported
          into other manifests that pull in infra repos from multiple hosts. -->
     <project name="fuchsia/infra"