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.
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.