How do I rename a repository on GitHub?

Question

I wanted to rename one of my repositories on GitHub, but I got scared when a big red warning said:

1. We will not set up any redirects from the o

Answer 1

It is worth noting that if you fork a GitHub project and then rename the newly spawned copy, the new name appears in the members network graph of the parent project. The complementary relationship is preserved as well. This should address any reservations associated with the first point in the original question related to redirects, i.e. you can still get here from there, so to speak. I, too, was hesitant because of the irrevocability implied by the warning, so hopefully this will save others that delay.