From f5f715008cb07d5a9e0ad02ebdb834cd37e7cb0a Mon Sep 17 00:00:00 2001
From: Jeremy Stanley <fungi@yuggoth.org>
Date: Tue, 12 May 2020 20:03:44 +0000
Subject: [PATCH] Add missing HTTPS ports in ssldomains file

Some entries were added to the ssldomains list lacking a port
number. Add the HTTPS port to them.

Change-Id: I6bea5cbabb63ada9d817725e652157ccbdce7929
---
 modules/openstack_project/files/ssl_cert_check/ssldomains | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/modules/openstack_project/files/ssl_cert_check/ssldomains b/modules/openstack_project/files/ssl_cert_check/ssldomains
index 61c6dc421c..0669f6402f 100644
--- a/modules/openstack_project/files/ssl_cert_check/ssldomains
+++ b/modules/openstack_project/files/ssl_cert_check/ssldomains
@@ -30,8 +30,8 @@ insecure-ci-registry.opendev.org 5000
 keystone.openstack.org 443
 meetpad.opendev.org 443
 mirror.dfw.rax.opendev.org 443
-mirror.bhs1.ovh.opendev.org
-mirror.gra1.ovh.opendev.org
+mirror.bhs1.ovh.opendev.org 443
+mirror.gra1.ovh.opendev.org 443
 mirror.mtl01.inap.opendev.org 443
 mirror.ord.rax.opendev.org 443
 mirror.regionone.linaro-us.opendev.org 443