Re: GitHub FPM label
| From: | Stanislav Malyshev | Date: | Tue, 09 Jun 2020 21:39:32 +0000 |
| Subject: | Re: GitHub FPM label | ||
| References: | 1 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-110455@lists.php.net to get a copy of this message | ||
Hi!
> Please could someone add an FPM label to github. FPM is a bit on its own
> and the FPM PR's are usually quite independent from other PR's so I think
> it would make sense. Mainly it would help me with filtering and keeping
> track of FPM PR's.
Done: https://github.com/php/php-src/labels/FPM
--
Stas Malyshev
smalyshev@gmail.com