openshift/origin-server — pull request #3299 by ncdc (2013-08-06 01:16:17+00:00)
Title: Bug 993454

Make jenkins redirect http -> https