GitHubでusernameを変更したときのメモ． 意外とあっさり変更することができた．

手順

  1. GitHubの検索でuser:new_usernameとかして自分の変えたいusernameが使われてないか確認する

  2. GitHubのページから Settings>Account>Change username に進む

  3. リンクがはってあるので，何が起こるかを理解する． What happens when I change my username?

  4. 思い切って変更する

  5. 以下，自分がやったこと

    • 過去の自分のusernameを誰かが使ったときに備え，ローカルリポジトリのリモートのURL設定を変える Changing a remote’s URL
  • username.github.io がある人はリポジトリ名とか変えておく？

過去に出したissueとかpull request見ると，コメントとかでメンションされているものはそのまま古いものが残るが，コミット履歴など動的に生成される部分は新しいusernameに変わっていた． user_id に当たるものは同じはずなので，当然か．