Re: [galaxy-dev] good practice for Galaxy admin and updates ?