To permanently delete a repository and all of its data:
In the Servers tab tree, select the repository you want to delete.
Click the
Delete
icon.
