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: