Re: [galaxy-dev] Tooshed: latest repository revision on update