Issue with pgbuildfarm.org

Greetings,

As some of you may have noticed, the pgbuildfarm.org domain expired
unexpectedy and unintentionally, meaning that many of your buildfarm
animals may no longer be working because they are configured to use that
domain.

We are trying to ressurect the domain and get it working again, but we
do not have a timeline for that right now.

Everyone running a buildfarm member is encouraged to update to use
buildfarm.postgresql.org instead, which has been the default in the
buildfarm configuration for quite a while.

The specific change to make is:

In build-farm.conf, change:

target => "http://www.pgbuildfarm.org/cgi-bin/pgstatus.pl",

to

target => "https://buildfarm.postgresql.org/cgi-bin/pgstatus.pl",

AND change:

upgrade_target => "http://www.pgbuildfarm.org/cgi-bin/upgrade.pl",

to

upgrade_target => "https://buildfarm.postgresql.org/cgi-bin/upgrade.pl",

If you have any questions regarding this, please let us know.

Thanks!

Stephen