Deleting local repositories
After the project was completed, you might need delete your local repositories.
To delete your local repository, please follow these steps.
Step 1. Open the GIT perspective as described here.
Step 3. Confirm that you want to delete the repository.
There are two deletion options:
If you want to delete a repository when some of its projects are in your workspace, you need to specify whether this project must be removed from the workspace or not:
