Re: GitHub FPM label
| From: | Jakub Zelenka | Date: | Tue, 09 Jun 2020 21:46:13 +0000 |
| Subject: | Re: GitHub FPM label | ||
| References: | 1 2 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-110456@lists.php.net to get a copy of this message | ||
Thanks Stas!
On Tue, Jun 9, 2020 at 10:39 PM Stanislav Malyshev <smalyshev@gmail.com>
wrote:
> 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
>