> so I think that the final piece it to have someone clone the device/linaro/vexpress-a9 repo into vexpress. (Though there ought to be a better way to rename a device.)
Ok, Bero created http://android.git.linaro.org/gitweb?p=device/linaro/vexpress.git;a=summary and Jon now pushed content from device/linaro/vexpress-a9 . We cannot easily get rid of device/linaro/vexpress-a9 because Gerrit doesn't support project deletion, so I just added "DEPRECATED, please use device/linaro/vexpress instead." for it (shown in Gerrit and in http://android.git.linaro.org/gitweb).
> so I think that the final piece it to have linaro/ vexpress- a9 repo into vexpress. (Though
someone clone the device/
there ought to be a better way to rename a device.)
Ok, Bero created http:// android. git.linaro. org/gitweb? p=device/ linaro/ vexpress. git;a=summary and Jon now pushed content from device/ linaro/ vexpress- a9 . We cannot easily get rid of device/ linaro/ vexpress- a9 because Gerrit doesn't support project deletion, so I just added "DEPRECATED, please use device/ linaro/ vexpress instead." for it (shown in Gerrit and in http:// android. git.linaro. org/gitweb).