tree acb5ea897325e7d816c2b6891ae0a5e8b1db91c2
parent c5cd1dad9241099356d1f0ec8e9672cdb9cb11f6
author Gary Miguel <garymm@google.com> 1538179703 -0700
committer Gary Miguel <garymm@google.com> 1538179778 -0700

[infra] Rename the subdirectory from infra to fuchsia-infra

This is so that this manifest can be imported into other manifests
that include infra repos from multiple hosts.

Also add the legacy infra repo.

Bug: IN-245 #comment
Change-Id: I45ce89c1a51f509a79da5ba8692580abc071f47d