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