Document workaround for Git when git protocol is blocked or behind proxy. Thanks to James Cuff