私は2つの異なるgitリポジトリを指しています
git@github.com:blah/foo.git
git@mycompany.com:random/bar.git
2 つの異なる SSH 公開キーを github.com と mycompany.com にプッシュします コードをそれぞれの git リポジトリにプッシュするとき、git の user.name プロパティと user.email プロパティを設定する必要があります。リポジトリごとに異なる名前/メールを設定するにはどうすればよいですか。