I'm trying to delete a workspace by following these steps:
1. I go to wokspace settings
2. I click on "Delete workspace"
3. I get a warning message that says "Deleting this workspace will permanently delete 3 repositories."
4. I click on "Delete workspace"
5. I get a warning message that says "This is a destructive operation. Delete workspace?"
6. I click "Delete"
And then nothing happens, the workspace and the three repositories are still there.
I've tried it several times. What can I do?