Everything

php

Home » Project » Newsgroups » php.internals » GitHub FPM label »

GitHub FPM label

php.internals

Jakub Zelenka

6 years ago

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.

Thanks

Jakub

Stas Malyshev

6 years ago

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

Jakub Zelenka

6 years ago

Thanks Stas!

On Tue, Jun 9, 2020 at 10:39 PM Stanislav Malyshev <smalyshev@gmail.com>
wrote: