GitHub FPM label - Externals

5 years ago by Jakub Zelenka — view source — reply

unread

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

5 years ago by Stanislav Malyshev — view source — reply

unread

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

5 years ago by Jakub Zelenka — view source — reply

unread

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