Hi there

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?

Thanks!
Peter