My workspace has been put into readonly mode, because of one sizable repo made it cross the treshhold. I understand why git access would be made readonly, but I had not expected the web UI to also be blocked. I would like to delete that one sizable repo to enable write on the others. Is there any way to do that?