BZ1020737 - File Explorer isn't updated when you delete a repository
(cherry picked from commit a0d2b9ac4f0fa891d75ba976facc6d8999195ab3)