作業ノート

会社用のgitリポジトリとgithubのリポジトリではユーザ名、メールアドレスが異なる。 会社の環境だと、$HOME/.gitconfigには会社用の設定をしているが、環境設定関係などはgithubで管理しているのでその変更を行うと会社用の設定が反映されてしまう。 そこで、githubのリポジトリをチェックアウトしてディレクトリで以下の…