I'm trying to update a newly created tool on the test tool shed and I get this error:
$ 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>
<body>
<h1>Internal Server Error</h1>
<p>The server has either erred or is incapable of performing
the requested operation.
<br/>
<!-- --></p>
<hr noshade>
<div align="right">WSGI Server</div>
</body>
</html>
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?