tree a07484166bb39ff0fc65c3ea4b91cc6d12f4d5e1
parent 03533e54a077e89b3836f4e805f5c40281c7b46a
author Dave Bort <dbort@google.com> 1537225341 -0700
committer Dave Bort <dbort@google.com> 1537226274 -0700

[manifest] Change the garnet import name to make jiri happy

The <import> name needs to match the corresponding <project> name in the
imported manifest. Without this, jiri seems to download garnet@master
instead of the pinned version.

Test: jiri init/import/update locally with --local-manifest
Bug: INTK-592
Change-Id: Icd0601b9958436d1af64eeb175efb88e12d25890