Don't export export launch, manage, kill, init_worker, connect

oschulz · oschulz · commit 3ef74df9b1e4 · 2025-04-08T16:15:03.000+02:00
These are owned by Distributed, there's no reason to export them
from ElasticClusterManager.
diff --git a/src/ElasticClusterManager.jl b/src/ElasticClusterManager.jl
@@ -11,7 +11,6 @@ import Pkg
 # Bring some names into scope, just for convenience:
 using Distributed: launch, manage, kill, init_worker, connect
 
-export launch, manage, kill, init_worker, connect
 export ElasticManager, elastic_worker
 
 # This seems to be currently unused:
