How to rename a Repository??

[KRMAHA]

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.

[lwjohnst86]

Thanks for the suggestion @KRMAHA 😁