[wayneftw]

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.

[j-james]

I have: https://public-inbox.org/git/4c08e1a0-db64-5d7d-493f-54c68ee...

[mcv]

I don't think git bans you from using a master branch, does it? It's just that their default has changed. But any other branch name will still work.