This change introduces an environment variable that can point to an alternative git repository (eg GitHub) if the default is offline.