git代理服务器
<p>git config --global http.proxy 'socks5://127.0.0.1:1080'
pi@raspberrypi:~ $ git config --global https.proxy 'socks5://127.0.0.1:1080'</p>
<h3>删除子模块</h3>
<pre><code>0. mv a/submodule a/submodule_tmp
1. git submodule deinit -f -- a/submodule
2. rm -rf .git/modules/a/submodule
3. git rm -f a/submodule
# Note: a/submodule (no trailing slash)
# or, if you want to leave it in your working tree and have done step 0
3. git rm --cached a/submodule
3bis mv a/submodule_tmp a/submodule</code></pre>
<h3>Git repository not found</h3>
<p>在多人协作开发时发现某开发人员在clone代码时出现 <code>Git repository not found</code>的情况，而其他人员都可以。
经查找发现，出现这个错误的原因是本地已存储的git账号密码与爬取仓库所属的账号密码不同。</p>
<p>解决办法：进入控制面板 >> 用户安全和家庭安全 >> 凭据管理器 >> Window凭据：
选择普通凭据中保存的git账号信息进行编辑或者删除即可。</p>