When a repository is removed the repository editor for that repository should close.