Changing the repository type, e.g. from "Unrestricted" to "Repository suite definition" , is allowed in the web UI in certain cases, and sometimes even suggested by a message box.
On the other hand, it is currently not possible to change the repo type through the ToolShed API, see commit 1422d87 which removed the relevant code.
I think this should be allowed, and the API request should just fail if a particular type change is not possible.
N.B.: the repository type seems to not be used on the Galaxy side, only on TS side, so I see no reason to prevent the type change if the repo has already been installed/cloned once.
Ping @martenson @jmchilton @blankenberg @mvdbeek @bgruening
Changing the repository type, e.g. from "Unrestricted" to "Repository suite definition" , is allowed in the web UI in certain cases, and sometimes even suggested by a message box.
On the other hand, it is currently not possible to change the repo type through the ToolShed API, see commit 1422d87 which removed the relevant code.
I think this should be allowed, and the API request should just fail if a particular type change is not possible.
N.B.: the repository type seems to not be used on the Galaxy side, only on TS side, so I see no reason to prevent the type change if the repo has already been installed/cloned once.
Ping @martenson @jmchilton @blankenberg @mvdbeek @bgruening