Should default branch be coq-8.18 or main?

[JasonGross]

The default branch is currently coq-8.16. this can be changed by admins at https://github.com/metacoq/metacoq/settings

[yforster]

I just synced all branches, I think we can move the default branch to be coq-8.18 now. (Not main, because we don't want to give the impression that contributors are expected to compile Coq dev, and actually most contributors don't)

[mattam82]

We now have a choice of either 8.18 or 8.19. I guess the later, which will be available everywhere soonish.

[mattam82]

We'll switch to 8.19 now that it's released and a platform is comming for it.

[JasonGross]

I still see coq-8.17 as default