git URL change in ClusterManagers.jl