) to perform TS repo updates instead of the UI to resolve this issue.
Planemo is an official set of utilities for Galaxy tool development.
On Tue, Nov 3, 2015 at 7:30 AM Kucukural, Alper <
No, I am trying to upload the right files but I cannot delete the
> On Nov 3, 2015, at 2:30 AM, Björn Grüning <bjoern.gruening(a)gmail.com>
> Hi Alper,
> there is no option to delete a repository, but you can deprecate one. Is
> this what you are trying?
> Am 03.11.2015 um 03:30 schrieb Kucukural, Alper:
>> Could you help me to delete crisprseek from
>> I am the owner but cannot delete. I got “Internal Server Error”.
>> 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:
>> To search Galaxy mailing lists use the unified search at: