[galaxy-dev] Repository installation on multiple servers