We tend to mirror code into our local git for builds, so this allows us
to specify our mirrored url.  As the mirror might have a different name,
I also specify the name of the checkout directory so that the build will
continue.