Hi, Otto, This is done now. https://github.com/MariaDB/server/tree/main/
I pessimistically expect the first few days (or weeks) to be a bit rough while all tools are being adjusted. But hopefully I'll be wrong about it and everything might just work. On Jul 18, Otto Kekäläinen wrote: > Hi! > > The results are out now: > https://mariadb.org/mariadb-server-github-branches-moving-to-main/ > > Nice to see Andrew coordinate a vote and announce the result this > clearly, thanks! > Hopefully implementation goes well and everyone is happy, and perhaps > we will see more votes on other topics as well.. Regards, Sergei Chief Architect, MariaDB Server and [email protected] _______________________________________________ developers mailing list -- [email protected] To unsubscribe send an email to [email protected]
