Apart from redirecting to the wrong repo(Version repo instead of library repo), I was able to delete a version repo directly from the UI once I landed on the URL. Wonder if that's something that should be fixed.