Changing the name of a repo depends on how said repository is managed.
- On GitHub (or BitBucket, or...), you would the the repo name through GitHub GUI admin page for that repo.
- On a server managed by http, you would simply change the name of the root directory But you would also have to modify the
httpd.confin order to reference that new path.
And you could duplicate that entry, if you don't want the users to be immediately impacted.
A symlink wouldn't be enough. - On a server managed by ssh, simply renaming the directory is enough.
In any cases, as commentedslashingweapon, you need each user to change their remote url (as described in "Changing a remote's URL")
git remote set-url origin new-url