Re: [galaxy-dev] With regard to Galaxy tools, a repository should only contain one