masterから変わって2ヶ月経ってるけど、git push origin mainが打ち慣れない。
これくらいalias貼るべき？でも貼ると正しいコマンド忘れちゃいそう。。
そしてGithubのこのrenameには大いに賛成です。

https://github.com/github/renaming