之前的同事离职了，我使用他的电脑，更改了本地SSH的密钥，也删除了GitLab他设置的密钥。
但是当我提交代码的时候，我发现是用他的名字提交的。
如何修改当前git账号
我的电脑是window10，可以如下配置：
控制面板\用户帐户\凭据管理器
删除它的账号即可。
下次提交代码的时候，idea会提示你重新输入账号密码，输入你自己的，然后自动保存。
重启即可。 （我使用的是第一种方法，因此没有使用第二种方法。而且我觉得重启有点麻烦，为什么不直接删除这个文件呢？）
