git config の上書き
分かってる人には当たり前なんだけどメモを残しておく。
git の設定ファイルは
~/.gitconfig
なんだけど、リポジトリにも
.git/config
ファイルがあって、ここに remote や branch といった情報が収まっている。普通はそれだけで十分なんだけど、リポジトリによってユーザーの情報を切り替えたい場合もあって、そのときはここに
[user]
name = ...
email = ...
って書いてやると、~/.gitconfig の設定を上書きすることができる。ただしアクセスする人が複数いるリポジトリでやっちゃダメよ。