git

关于github的一些配置

ssh -T git@github.com Timeout

参考https://docs.github.com/en/authentication/troubleshooting-ssh/using-ssh-over-the-https-port，好像是因为防火墙的问题。
如果使用命令 ssh -p 443 git@ssh.github.com能够成功，那么可以用ssh.github.com代替github.com
在~/.ssh/config中添加

Host github.com
 Hostname ssh.github.com
 Port 443

Failed to connect to github.com port 443

设置http代理

git config --global http.proxy http://127.0.0.1:10809

SSL验证失败

git config http.sslVerify false

github镜像

git config --global url."https://github.com.cnpmjs.org/".insteadOf "https://github.com/"

github镜像除了github.com.cnpmjs.org以外还有
https://hub.fastgit.org 以及 https://github.wuyanzheshui.workers.dev

本地git仓库

如果想和服务器进行一些代码同步，经常要把所有项目文件都发送一次，在项目比较大的时候，这样会很慢，而且不安全。
用git进行同步其实也是一个不错的选择。

git remote的url其实相当于scp协议里面的文件夹路径
比如

origin  git@github.com:NKU-EmbeddedSystem/miniob.git (fetch)
origin  git@github.com:NKU-EmbeddedSystem/miniob.git (push)

可以理解成在github.com这个url上，有一个用户git，然后NKU-EmbeddedSystem/miniob.git是文件夹的路径。

那么比如我们在10.137.144.83上有一个项目，路径是/home/jz/v8
那么我们可以用下面的命令把这个路径记录到项目的remote中。然后就可以进行正常的push和pull操作了。

git remote add origin jz@10.137.144.83:/home/jz/v8