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.
This most up-to-date information is available in the repository that maintains the infrastructure: https://github.com/php/infrastructure/tree/main/docs
People with SSH accounts on any machines must use one of our jump hosts to connect to them:
https://github.com/php/infrastructure/blob/main/docs/ServerAccess.rst#logging-into-servers
Reference: https://en.wikibooks.org/wiki/OpenSSH/Cookbook/Proxies_and_Jump_Hosts
People with SSH accounts on these old above machines must use one of our jump hosts to connect to them. Add this to your ~/.ssh/config:
Host git.php.net americas.jump.php.net europe.jump.php.net
ProxyJump none
Port 9022
Host *.php.net
ProxyJump <USERID>@europe.jump.php.net:9022
User <USERID>
Replace americas with europe depending on where you are. The jump hosts require 2FA using Google Authenticator.
See https://github.com/php/infrastructure/blob/main/docs/ServerAccess.rst#creating-google-authenticator-files, and then request access (if needed) through https://github.com/php/infrastructure/issues/new?template=request-release-manager-access.yml
We use OhDear (https://ohdear.app/) for monitoring our machine status. A public page is available at https://status.php.net/
