Changed repository name on GitHub.