This repository has been archived by the owner on Jun 18, 2021. It is now read-only.

devspace: make port configurable #205

Open

joshmoore opened this issue Dec 1, 2016 · 0 comments

Member

joshmoore commented Dec 1, 2016

The name for JENKINS_MASTER is configurable but the port is currently hard-coded as 8443.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.