git pushするユーザーを変更する方法

git push のpermission denied errorに悩まされて。 windowsは資格情報マネージャとかが面倒。といってもBash on windowsだと対話はしてくれる。 httpsだと出来ないのでsshの手順を踏む。

大まかな流れ

$ cat ~/.ssh/id_rsa.pub |clip

SSH-keyをgithubに追加する。

$ git config user.name "Mona Lisa"

local-configのuserを任意のユーザー名に変更。

$ git remote add git@foobar.git

Remote repositoryのsshをremote addする。

yes/noとパスフレーズ入力をして、pushできたら成功。

ところで、user.emailってなんの意味があるんだろう…。

Gitにおけるuser.emailは、コミット時に記録されるメールアドレスです。 Gitのコミットは、ユーザー名とメールアドレスが必須項目となっています。

なぜか。それは、コミットの履歴を追うためです。コミットの履歴を追うためには、ユーザー名とメールアドレスが必要です。

そのような理屈があるようです。追記での蛇足でした。