我认为它应该工作复制到被重命名为与所需名称的新目录的目录,并删除旧的目录,并且git add, git commit和push一切.但这是最好的方法吗？
git add
git commit
push
git directory rename
directory ×1
git ×1
rename ×1