Say I need to rename a Git repository that has already been downloaded by a number of developers.
If I rename this repository, what side effects would happen, if any? I mean besides the developers having to perform a change in their local repository to change its remote repository like this
git remote set-url origin new_url
For the sake of the argument please consider that the Git server is a private one and all the developers form part of the same company.
For what it's worth, I have checked other questions regarding renaming repositories in Git, but none of them speak specifically about side effects except for the git remote change.
How does renaming a Bitbucket git repository affect forked repositories?