Issue #10256 resolved

repository unavailable.

Oliver Ruebel
created an issue

We tried to remove the repo:

but it got somehow stuck and now it is simply listed as "" and it seems that we can't take any further management actions on the repo. Could you please remove the repo so that we can recreate it.