Hello, I was wondering if it would be useful to add GitHub milestones for the PHP-8.4 and PHP-9.0 (or PHP-next or something like this)? https://github.com/php/php-src/milestones
Because some pull requests might target versions after the PHP-8.4 and it might be useful to have them additionally sorted to not forget about them. Not to tag all PRs of course but only those which are meant to go into some of the future branches. Thanks.