PHP is supported by a number of machines provided by a number of generous sponsors. This is a basic inventory of those machines and what services they provide.
People with SSH accounts on the above machines must use one of our jump hosts to connect to them. Add this to your
Host git.php.net americas.jump.php.net europe.jump.php.net ProxyCommand none Host *.php.net ProxyCommand nohup ssh -p 9022 <USERID>@americas.jump.php.net nc -w1 %h %p User <USERID>
europe depending on where you are. The jump hosts also provide 2FA using Google Authenticator:
ssh -p 9022 americas.jump.php.net
google-authenticator(you can answer y to all the questions, but you don't have to)
.ssh/configon your local machine.
Note: You'll need to find someone who can replicate your account to
europe.jump.php.net so you can use it there, too.
Tip, you can tell ssh to use a php-specific key for php-related things by adding something like this to your Host *.php.net section:
We use Nagios and Munin to monitor the machines. There is a public network status page as well as a protected area (log in with your SVN credentials) with more detailed information. The Munin web interface is available here.
Note regarding FreeBSD machines: Upgrades should be performed according to this guide.