Issue #17139 resolved
Aike van den Brink
created an issue

A few days ago there was a bug with deleting repositories, see this issue for more details:

That problem seems to be fixed but it has caused another issue. The repositories that were "deleted" are now badly corrupted and it is impossible to get rid of them. For example:

Comments (1)

  1. Log in to comment