I was helping someone with their toolshed repository and we ran into an
issue, there is an old folder "myTools" in the repository that we cannot
delete. It has a second copy of the tool (inadvertently). However, when
we upload a new version with Planemo, the directory remains. Attempts to
delete it via the toolshed web interface result in internal server
errors. Can an admin take a look?
https://toolshed.g2.bx.psu.edu/view/mrvollger/trtr/13cad5d36301
--
Lance Parsons - Scientific Programmer
Carl C. Icahn Laboratory - Room 136
Lewis-Sigler Institute for Integrative Genomics
Princeton University
___________________________________________________________
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:
https://lists.galaxyproject.org/
To search Galaxy mailing lists use the unified search at:
http://galaxyproject.org/search/mailinglists/