Step 1
Open the GIT perspective as described here:
Step 2
Right-click the 4gl project and go to Delete Repository...:
Step 3
Confirm that you want to delete the repository:
There are two deletion options.
You can delete only repository data and history:
or
you can delete the working tree as well:
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:
Step 4
Your local GIT repository was deleted:
