Hi Galaxy_dev team,
I have question with regards to public ToolShed.
For some reason, the latest version of my tools didn't get picked as tip repo
when I was trying to install it on my cloud instance.
I have read about some unexpected behaviours of public ToolShed if I use it
like a git repo. Without knowing that at the first place, I had been modifying
my tools on public ToolShed and had multiple uploads of some files. Is it
possible that this is the reason why the latest version of my upload doesn't
get picked as a tip repo? If it is so, how can I go about to fix it ? (I was
looking for a way to delete repositories, but there didn't seem to have one)
Fei-Yang (Arthur) Jen
Ontario Institute for Cancer Research
MaRS Centre, South Tower
101 College Street, Suite 800
Toronto, Ontario, Canada M5G 0A3
This message and any attachments may contain confidential and/or privileged
information for the sole use of the intended recipient. Any review or
distribution by anyone other than the person for whom it was originally
intended is strictly prohibited. If you have received this message in error,
please contact the sender and delete all copies. Opinions, conclusions or other
information contained in this message may not be that of the organization.
Please keep all replies on the list by using "reply all"
in your mail client. To manage your subscriptions to this
and other Galaxy lists, please use the interface at: