【凡ミス禄】origin masterへgit pushできなかったとき行った対処

 $ git push origin master

Warning: Permanently added 'github.com,192.30.253.113' (RSA) to the list of known hosts.
ERROR: Repository not found.
fatal: Could not read from remote repository.

Please make sure you have the correct access rights
and the repository exists.

ありゃ。なんで。

$ git remote add origin　-リポジトリURL-

で設定したはずなのに。
前日リポジトリ名変更したからかな？

そこで、上記記事をちゃんと見てみる。

あー、ローカルだけでなく、Github上でもリポジトリ名をrenameしなければならないのね。
勝手に反映してくれるものかと思ってました。
理解。

参考：GitHubのリポジトリ名変更方法 -qiita