[web-php] PR #1036: Trim mirroring docs
| From: | jimwins | Date: | Sun, 21 Jul 2024 00:23:48 +0000 |
| Subject: | [web-php] PR #1036: Trim mirroring docs | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-31855@lists.php.net to get a copy of this message | ||
Pull Request: https://github.com/php/web-php/pull/1036
Author: jimwins
Just gets rid of old information that was only relevant for "official" mirrors for
PHP.net, which aren't a thing any longer.