s page explains how to do specific tasks with the PHP infrastructure.
===== Download Server Access ====
''ssh downloads.php.net'', and then:
<code>
sudo su -
export USER_TO... == Add Announce List Moderator =====
''ssh lists.php.net'', and then:
<code>
sudo su - -s/bin/bash nobody
export USER_TO_ADD=sergey
echo $USER_TO_ADD@php.net >> /var/spool/mlmmj/php-announce/control/mode
en replaced by [[systems:sgrv3]]**
====== sgrv1.php.net ======
This machine hosts the PEAR integration environment.
^ Hostname: | sgrv1.php.net / sg158.servergrove.com |
^ IP Add... -enabled/000-default to reflect current name: sg1.php.net -> sgrv1.php.net
* 4 Nov 2011 - Granted danielc access to work on pearweb
* 13 Sep 2010 - serv
====== Git on y3.php.net ======
* The main git user is called //git//
* His home directory is in /g... new repository =====
- You need access to **git.php.net:gitolite-admin.git**
- Add the repository t... e%% %%--authors%% /path/to/authors.map http://svn.php.net/repository/pecl/package
- The authors.map... epository.
- git push %%--all%% https://git.php.net/push/REPONAME
- git push %%--tags%% htt
on Control System ======
All of the code for the PHP project is managed in Git repositories hosted by the [[https://github.com/php|PHP Organization on GitHub]].
The [[vcs/gitworkflow|Git Workflow]] page explains the general Git-based workflow for the [[https://www.github.com/php/php-src|php-src repository]] where the PHP interp
^ CI Platform ^ Provided by ^ Notes ^
| [[systems:php-ci-ppc64|php-ci-ppc64]] | PowerPC 64-bit, big endian | Gentoo | GitHub Actions (github-act-runner) | calvinb@php.net | Attached, not yet running jobs. Should be c... s:
- Set up your runner, and make your fork of php-src use it. It's recommended you add a nightly fl
====== IRC and Discord ======
The PHP community has footholds on IRC and Discord. The IRC presence is ... t]] and Discord is run by the [[https://phpc.chat|PHP Community]].
===== Discord =====
This is managed by the PHP Community, contact Ben Ramsey for help creating a... k ops guide]]
Channels on IRC that start with ''#php'' can be claimed by the members of the ''php'' gr
====== osu1php.php.net ======
This machine was [[https://github.com/php/systems/commit/cfec8852b4b649fc9eab815a320f5e5b6f... the master database.
^ Hostname: | osu1php.php.net |
^ IP Addr
ory =====
* Daily backup by user peter from y1.php.net to y2.php.net using rsync
* Daily backup by user dsp from y2.php.net to micfo2.php.net using rsync
* Daily svnadmin verify by user dsp on micfo2.php.net