git の push と pull で別々の URL を設定する方法
別の URL というか、 push の時だけ user@ を付けたいという話なのだけど。
.git/config を開いて、 pushurl を設定すればよい。
例:
[remote "origin"]
url = https://github.com/nakamuray/sq.git
pushurl = https://nakamuray@github.com/nakamuray/sq.git
fetch = +refs/heads/*:refs/remotes/origin/*