On Wed, Jun 17, 2020 at 3:44 AM Tom Lane <t...@sss.pgh.pa.us> wrote: > Alvaro Herrera <alvhe...@2ndquadrant.com> writes: > > On 2020-Jun-16, Tom Lane wrote: > >> "master" is the default branch name established by git, is it not? Not > >> something we picked. > > > Git itself is discussing this: > > > https://public-inbox.org/git/41438a0f-50e4-4e58-a3a7-3daaecb55...@jramsay.com.au/T/#t > > and it seems that "main" is the winning choice. > > Oh, interesting. If they do change I'd be happy to follow suit. > But let's wait and see what they do, rather than possibly ending > up with our own private convention. >
I'm +1 for changing it (with good warning time to handle the buildfarm situation), but also very much +1 for waiting to see exactly what upstream (git) decides on and make sure we change to the same. The worst possible combination would be that we change it to something that's *different* than upstream ends up with (even if upstream ends up being configurable). -- Magnus Hagander Me: https://www.hagander.net/ <http://www.hagander.net/> Work: https://www.redpill-linpro.com/ <http://www.redpill-linpro.com/>