This is an old revision of the document!
Other than repository folders, you can rename any folder (provided the new name was not used for another sibling folder)
Why repository folders should not be renamed is because the Deploy keys that are used the system to give you Git permissions would be based on the older folder-name.