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