git.linaro.org DNS update

tldr; you shouldn't notice anything.

Over the past few months, the Systems team has been working on providing a mechanism to give users geographically optimized access to git.linaro.org. We plan to enable this tomorrow, Thursday May 13 at 14:00 UTC.

The change is actually just a DNS update, so in theory the only thing you'll notice is faster git clones/pulls. However, in the event something goes wrong and you need a fix ASAP you can update your .git/config files to use "git-us.linaro.org" instead of "git.linaro.org" and things will work like they always have.

If you want to find out more about how we've done this you can take a look at our wiki page:

https://wiki.linaro.org/Platform/Systems/GitHA

-andy