Explain how to change repository name

As this was raised in the workshop, it would be good to add to the site.

To change the URL, you will want to change the repository name. GitHub pages URLs are constructed as githubusername.github.io/repositoryname. If you rename the repository, then make another commit that triggers it to rebuild the site, it will update the URL.

To rename: