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

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

devspace: make port configurable #205

Open

opened

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

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests