Hi Galaxy team,

I created a new repository on the tool shed called "test", I wanted to see what steps were required to publish a tool before I go ahead and release the production version. I then tried to change the name of the repository and got a server error.

When I search for test, try to navigate to 2nd page of the repository list or view my own repositories the server error occurs.

Apologies if I broke it...

On a side note, I did not see an option to delete a created repository. Also, my test repository went live straight away. Would it make sense to be able to create a repository and load files then have a publish button for when you choose to release.


The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.

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:


Reply via email to