How can I delete a repository?

To delete a repository :

1. On the repository management page, click on the "Delete the repository" link
2. Confirm your choice

Important note : once deleted a repository cannot be restored!