Bruce Momjian <bruce@momjian.us> writes:
> On Wed, May 11, 2022 at 08:59:26PM -0400, Bruce Momjian wrote:
>> On Thu, May 12, 2022 at 09:04:38AM +0900, Tatsuo Ishii wrote:
>>> The last line should be "ssh://git@gitmaster.postgresql.org/postgresql.git"?
> I assume the URL list at:
> https://git.postgresql.org/gitweb/?p=postgresql.git;a=summary
> is for non-committers.
Yeah, I agree with that. If we advertise the gitmaster address here,
the primary result will be that we get a lot of complaints from random
people complaining that they can't access it. A secondary result
is likely to be an increase in attacks against that server.
The onboarding process for new committers should include explaining
about the separate master repo and how they can access it, but that
is absolutely not something we should advertise widely.
regards, tom lane