Reputation: 10718
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.
Upvotes: 6
Views: 7692
Reputation: 21749
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.
Upvotes: 8
Reputation: 10718
Actually I just figured it out. codeWizard was almost there, deleting it from disk was the correct solution, but I needed to restart smartgit.
On restart smartGit asks if I want to remove any missing repositories. There doesn't appear to be a way of doing this without restarting the program.
Upvotes: 0