- 
    
Bug
 - 
    Resolution: Fixed
 - 
    
Minor
 - 
    None
 - 
    None
 
How to reproduce
- connect to cms
 - open the resource explorer (tab added on the right)
 - rename a repository
 
Actual behavior
- the name of the repository is not refreshed in the tree
 
Expected behavior
- the name of the repository is refreshed in the tree