Re: [infra][dev] Options for upcoming git:// to https:// transition