Githubのフォルダ名の変更方法

Question

Githubのリモートリポジトリにフォルダを共有しているのですが、フォルダ名を変更しようと思い
ローカルでフォルダの名前を変えてPushしたのですが、以下のようなエラー文が返ってきました。

! [rejected]        master -> master (fetch first)
error: failed to push some refs to 'https://github.com/...'
hint: Updates were rejected because the remote contains work that you do
hint: not have locally. This is usually caused by another repository pushing
hint: to the same ref. You may want to first integrate the remote changes
hint: (e.g., 'git pull ...') before pushing again.
hint: See the 'Note about fast-forwards' in 'git push --help' for details.

フォルダの名前を変更する方法でよい方法があれば教えていただきたいです。
よろしくお願いいたします。

ちなみに、
Gitでmvしたらコケたを参考に

git mv a b

を実行したところ、

fatal: bad source, source=a, destination=b

と返ってきます。
ここではa,bともに小文字です。

Answer 1

基本的に、gitで管理しているフォルダの名前を変えたい場合はgit mvコマンドを使います。

https://mae.chab.in/archives/2440

Comments

[yu__]

ありがとうございました。