How to rename a Repository??

I struggled to figure out how to rename a repository. I noticed that this isn’t included in the intro guide. Perhaps it could be mentioned under section "12.3 Creating a new repository", in case someone names their repository incorrectly. 