Next thing we need is for them to host their own Git infra, to avoid dependency on US Github.