Some git hosting services, like Github, a url to a git repository can be changed by changing the name of the repository by the owner. If someone tries to get the repository with the old url, usually the hosting service serves the request with the repository indiciated by the new url. It is very helpful for the users who don't know the url has been changed.
In such case, I think it is recommended to update the user's remote url with the new one because the old url possibily does not work if the hosting service does not keep the old url anymore, or worse, works incorrectly if someone makes a repository with the old url. To fix the potential problem, it would be nice if Git client asks the user, while fetching objects from a remote url, to update the url if it is changed. If the client and the server is talking in HTTP, it is easy to know the url is changed if the server responses with 301 Moved Permantely or 308 Permanet Redirect. -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html
