Delete a repo.

Delete a repo. All files, workspaces, commits, branches permissions etc. associated with the repo will be deleted.