GitHub is not Git.
If the Git cli tool still initializes a new repo to 'master', I'm not going to go out of my way to rename it before I push to GitHub.
I haven't seen any discussion around changing the Git cli tool.
If the Git cli tool still initializes a new repo to 'master', I'm not going to go out of my way to rename it before I push to GitHub.
I haven't seen any discussion around changing the Git cli tool.
I'm don't think it's a necessary change, but I also don't think it's a harmful change.