Patrick Steinhardt <ps@xxxxxx> writes: > the deprecation notice we have created explicitly tells users to use > `git remote rename`: Good. Then let's do this together with others that we can do immediately. Thanks. > All of this reasoning should of course go into the commit message.