Alvaro Herrera <alvherre@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.
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).
