lab.nexedi.com is now our main domain for git hosting.
lab.nexedi.cn continues to work for backward-compatibility reasons.

/reviewed-by: TrustMe