Git リポジトリ URL を書き換える git-config の設定 "insteadOf" と "pushInsteadOf"
git-config（~/.gitconfig など）に url.<base>.insteadOf もしくは url.<base>.pushInsteadOf を設定すると，Git リポジトリ URL（プロトコル含む）を書き換えることができる．例えば GitHub リポジトリを git pull するときは HTTPS URL を強制し，git push するときは SSH URL を強制するなど．今回は実際に設定を試しながら整理す</base></base>…
