特定のGitリポジトリだけ名義を変える

仕事で生徒の演習やる時に使った。
会社は実名+会社メールアドレス、プライベートはハンドルネーム+個人メールアドレス、みたいに使い分けたい時に便利。

git init済みのディレクトリで

git config --local user.name 'リポジトリ限定ユーザ名'
git config --local user.email 'mylocalusername@example.com'

という風にやればいい。

リポジトリローカルな設定を消して元に戻したい (globalのを使いたい) 場合は

git config --local --unset user.name
git config --local --unset user.email

すればいい。