GitHub FPM label
| From: | Jakub Zelenka | Date: | Tue, 09 Jun 2020 21:26:17 +0000 |
| Subject: | GitHub FPM label | ||
| Groups: | php.internals | ||
| Request: | Send a blank email to internals+get-110454@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.
Thanks
Jakub