【git】拉取修改别人pr与代理设置

前言

• 有些git不常用操作稍微记录下

代理

• 设置代理：

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

• 取消代理

git config --global --unset http.proxy

pr相关

• 修改别人pr本质是自己先本地拉取别人fork的仓库，再去提交到别人fork的仓库，有极低可能别人设了maintainer不允许提交。默认是可以提交的。
• 首先，设置拉取别人仓库的地址。常规操作git remote add xxxxx
• 拉取pr的代码，可以通过看路径知道是第几个pr：

git push origin pull/第几个pr/head:自己分支别名

• 然后checkout去该分支，则是别人的提交了。
• 修改完毕后，git commit 完，推送该远程仓库：

git push 前面remote的名称 HEAD:分支名

• 即可在自己仓库下的pr中看见修改了别人的pr。