Menu
How do I remove a local repository from SmartGit v7?
If I delete the repository from disk it still appears in my list of repositories but with <missing> after it.
I cannot see any way of removing it from the UI.
275
Delete Local GitHub Repository In some cases, you don't want to delete a remote GitHub repository but you only want to delete the copy you got by cloning the remote repository. In order to delete a local GitHub repository, use the “rm -rf” on the “. git” file located at the root of your Git repository.
Delete Files using git rm. The easiest way to delete a file in your Git repository is to execute the “git rm” command and to specify the file to be deleted. Note that by using the “git rm” command, the file will also be deleted from the filesystem.
Right-click the project in the Project Explorer panel and then choose Source Control > Delete Repository from the context menu.
Right click on the repo and choose "Remove" item. Note that you have to close the repo to be able to do this. One way to close the repo is to right click on it and choose "Close" item. Another way is to open a different repo.
148
delete the .git folder and it will remove it
2
If you love us? You can donate to us via Paypal or buy me a coffee so we can maintain and grow! Thank you!
Donate Us With
