Add a new config option lima_kilo_harbor_config_port, but make it default to 8080 instead of 80.
Bug: T346736 Signed-off-by: Arturo Borrero Gonzalez aborrero@wikimedia.org
Add a new config option lima_kilo_harbor_config_port, but make it default to 8080 instead of 80.
Bug: T346736 Signed-off-by: Arturo Borrero Gonzalez aborrero@wikimedia.org