[wish] Rename default branch to main instead of master

[ejgallego]

Dear stdlib devs,

it's been a while that the convention in large parts of the git world for the name of the default repository branch is main instead of master. Github adopted this policy in 2020 for example.

I'm opening this issue to ask you to consider the renaming, in the past we avoided this due to breakage in the Coq world, but given that this is a new repos the breakage would be quite minor if I am correct.

[Zimmi48]

Note that the stdlib repo is a fork of the Coq repo (in git history sense), which explains why this name was used.

I'm opening this issue to ask you to consider the renaming, in the past we avoided this due to breakage in the Coq world, but given that this is a new repos the breakage would be quite minor if I am correct.

@proux01 @CohenCyril would it work for the Coq Nix Toolbox dev testing to have stdlib use main as its branch name and Coq / Rocq use master?

Besides that, I think the main breakage that would have to be fixed would be the branch being tracked in the Coq's CI (and perhaps also in the opam dev package).

Note that GitHub has support for renaming branches so perhaps, we would not get any breakage at all (if it correctly redirects). And then, the question should be asked whether to rename the main branch on the Coq / Rocq repo as well.

[proux01]

FWIW, according to CI config, the vast majority of devs still use master. We could switch, I don't really, care. Adaptation would probably be fairly easy, but not sure it's worth the effort. For sure, I wouldn't make it myself, but I wouldn't oppose either if anyone is really willing to do all the required PRs for CIs everywhere (provided the github renaming feature is not up to the task).

@proux01 @CohenCyril would it work for the Coq Nix Toolbox dev testing to have stdlib use main as its branch name and Coq / Rocq use master?

I don't see any fundamental issue (other than it being a bit confusing)

[Zimmi48]

would it work for the Coq Nix Toolbox dev testing to have stdlib use main as its branch name and Coq / Rocq use master?

I don't see any fundamental issue (other than it being a bit confusing)

It's just that I checked and I didn't find the code that Nix uses to decide that when building Coq master it needs the Stdlib master or main branch. Does it just reuse the exact same version?

[proux01]

There is no such code, when you override coq you're are free to override the stdlib or not, so there is no link between the name of the two branches. Stdlib is a library, like any other for that respect.