リポジトリ名を間違えてしまって、GitHub上で変更しただけだとpushできない、、、
でもなかなか変更したときの対処がのっていなかったためと、備忘録として投稿です。
1. まず、リモートリポジトリのURLを更新する
git remote set-url origin git@github.com:ユーザー名/変更された名前.git
これで更新されます。
2. リモートリポジトリとの同期をとる
git pull origin main --rebase
これはリモートのmainブランチの最新の変更をローカルに取り込み、必要に応じて自分の変更を再適用します。
すでに試行錯誤された方はもしかしたらリモートリポジトリとの差分がありエラーが出たりします。
そのときは、エラー文の中にどのファイルで差分があるのか、どっちのデータに合わせるのか困っているのでそのファイルを開いてください。普段のファイルと表示が異なっているためわかると思います。
その画像は無いです。。。
2.5 上のエラーが解決した人
git add で変更点を保存します。
git rebase --continue で 2 の続きを始めます。
3. Pushする。
以上になります。
注意
個人的な環境で説明が不十分であるがゆえにこれで解決しない場合があります。
エンジニアの方や、知識なある人に確認をお勧めします。