Re: [galaxy-dev] Galaxy Tool Shed used for main code hosting and collaborative development repo?

2011-11-15 Thread Peter Cock
On Tue, Nov 15, 2011 at 1:22 PM, Leandro Hermida wrote: > Hi, > > Quick question about the Galaxy Tool Shed, I would like to publish a tool > suite there and wondering to people use the tool shed repositories as their > main code hosting and development site or is it typical that people have > the

[galaxy-dev] Galaxy Tool Shed used for main code hosting and collaborative development repo?

2011-11-15 Thread Leandro Hermida
Hi, Quick question about the Galaxy Tool Shed, I would like to publish a tool suite there and wondering to people use the tool shed repositories as their main code hosting and development site or is it typical that people have their code hosted somewhere else a la Github or Sourceforge? regards,