もしGitHubに間違ったauthorとcommitterでpushしてしまったら。

GitHubに直接関係する話では有りませんが、GitHub絡みでよくやらかすので、メモしておきます。全コミットのauthorとcommitterを書き換える手順です。 globalなuser.nameが"xxx" globalなuser.emailが"xxx@example.com" で設定されているとします。 特定のレポジトリの user.nameを"mamor" user.emailを"mamor@example.com" にするつもりが、設定を忘れて、前述のglobalなuser.nameとuser.emailでcommitしてGitHubにpushしてしまったら。何としてでも書き換えたくなります。 尚、この操作は、GitHub(というかbareレポジトリ)を複数人で使っている場合は絶対に行わないで下さい。もはや破壊行為です。また、一人で使っていても、複数端末でcloneしている場合

[HHR]

filter-branch -f --env-filter