BZ1020737 - File Explorer isn't updated when you delete a repository