I wanted to rename one of my repositories on GitHub, but I got scared when a big red warning said:
- We will not set up any redirects from the old location
- You will need to update your local repositories to point to the new location
- Renaming may take a few minutes to complete
Does anyone have step-by-step instructions on how to accomplish #1 and #2 manually? Or what do I have to do locally?