CircleCIと連携しているGitHubのリポジトリ名を変更してみた