Greetings,
* Tom Lane (tgl@sss.pgh.pa.us) wrote:
> 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.
I don't think we could change it very easily without some ugly hacking
of the tool that generates that page too, which is no good...
We might be able to get rid of the ssh:// URL there though... Will look
into that.
> 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.
It does.
Thanks,
Stephen