[yocto-infrastructure] [infra] git domain name updates

[Richard Purdie]

On Mon, 2017-09-25 at 17:17 -0700, Michael Halstead wrote:
> This is all ready to go right now. Please update your remotes.
> 
> We will have to make these changes required before we can start to
> get performance benefits from them. I suggest November 1st 2017 but I
> need more feedback before we can set a cut off date.

I'd be tempted just to go ahead and do this sooner than later if you we
stand people asking questions about why it stopped working for them...

My .git/config files were full of rather elderly data but I think I
have all my main usages updated now...

Cheers,

Richard