Added how to change a repository's name.