I'm trying to update a newly created tool on the test tool shed and I get
$ planemo shed_update -t testtoolshed
cd '/home/pvh/PycharmProjects/split_fasta_chunks' && git rev-parse HEAD
cd '/home/pvh/PycharmProjects/split_fasta_chunks' && git diff --quiet
Could not update split_fasta_chunks
Unexpected response from galaxy: 500: <html>
<head><title>Internal Server Error</title></head>
<h1>Internal Server Error</h1>
<p>The server has either erred or is incapable of performing
the requested operation.
<div align="right">WSGI Server</div>
Repository metadata updated.
Failed to update a repository.
I might have accidentally created a "bad" repository that is leading to
this error. This is with version 0.23.0. Alternately, is there a way to
delete the tool so that I can try and recreate it?
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: