How do I remove a repository from SmartGit?

Question

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.

Answer 1

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.

Answer 2

删除.git文件夹，它将删除它

Answer 3

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.