[galaxy-dev] Trouble maintaining Galaxy config on cloud