Andrew Dunstan <andrew@dunslane.net> writes:
> This file on the buildfarm server is used to tell clients which branches
> we'd like built. When a new stable branch is created it's added manually
> to this file, and when one gets to EOL it's removed from the file. This
> is a rather cumbersome process, and it occurred to me that it could be
> streamlined by our keeping it in the core repo instead.
I can see the value of people other than you being able to change it,
but keeping it in the core repo seems like a kluge not a proper solution.
In particular, once it'd been around for awhile so that the master copy
had diverged from the back branches' copies, that would be pretty
confusing IMO.
Is it worth the trouble of having a separate repo for info that shouldn't
be tied to a particular PG development branch? I'm not quite sure what
else we would keep there besides this file, but perhaps other use-cases
will come up. Some of the stuff in src/tools/ has a bit of this flavor.
regards, tom lane