git工具重命名github的文件夹名称（成功解决，方法可靠）

第一步配置ssh

首先在本地找到文件夹.ssh

找到以pub为文件后缀的文件，将里面的字符串复制

然后粘贴到github上的ssh keys

增加完之后会显示

This is a list of SSH keys associated with your account. Remove any keys that you do not recognize.

即配置成功

第二步 复制ssh项目地址

之后打开git 复制您的项目地址，注意切换到ssh

在git工具中输入  

git clone "git@github.com:haustcsa/SocialSituSecu.git"

耐心等待一会，克隆完成。

第三步 修改文件夹的名字

git mv 准备修改的文件夹的名字 修改后文件夹的名字

第四步 提交

 git commit -m "SensitiveInformationCheck"

第五步 更新服务器

git push

此时有可能会出现失败，见后面解决方法

 

至此已重新修改一个文件夹了

完整的步骤如下

原本的项目中文件夹的名字

查看修改之后文件夹的名字，大功告成！

 

 

 

解决方法：

ping一下github.com

在重新 git push 即可成功（很奇怪呀！！！）