A user can also remove repositories with the API. We should check if this bug is reproducible on the API. If so this should probably be fixed on the backend.
A user can also remove repositories with the API. We should check if this bug is reproducible on the API. If so this should probably be fixed on the backend.