Switch to main?

[srittau]

Just to repeat my arguments from python/typeshed#8956:

I don't want to go into the political reasons for renaming the branch, but in my opinion there is a clear push to standardize on the new name main. I believe there was also a SC decision that all projects under the python org should eventually change to that name, although we haven't been approached about this. But CPython has switched (and the stub_uploader always used main). Selfishly, I also renamed the branches in most of my projects, with typeshed being one of the last still using master.

[gvanrossum]

Yeah, I’m for it. The other thing is begin to look quaintly outdated.

[JelleZijlstra]

Let's do it. @srittau if you have the right permissions, go ahead, otherwise I'll do it when I get a chance.

[gvanrossum]

There are a few other repos too, typing, and mypy.

[srittau]

It is done. I also checked the readthedocs settings, but it seems that nothing needs to be changed. I also found no references to "master" in the source (except to typeshed's master, for which I will send a PR shortly).

[srittau]

I also checked the readthedocs settings, but it seems that nothing needs to be changed.

And it seems I was wrong. Fixed the build on readthedocs.