Re: [PHP-DEV] Github issues

2022-02-13 Thread Pierre Joye
On Mon, Feb 14, 2022 at 1:02 PM Marco Pivetta wrote: > > 1. You need to be part of https://github.com/orgs/php/people > 2. Your group must have issue triage rights Thanks Marco, I know what can be done in github, I do not know who I have to ping here to get that done as I cannot add myself to

Re: [PHP-DEV] Github issues

2022-02-13 Thread Marco Pivetta
1. You need to be part of https://github.com/orgs/php/people 2. Your group must have issue triage rights On Mon, 14 Feb 2022, 05:34 Pierre Joye, wrote: > Hi, > > What has to be done that the github issues can be handled by the same > developers than in bugs.php.net? > > It is a bit weird that I

[PHP-DEV] Github issues

2022-02-13 Thread Pierre Joye
Hi, What has to be done that the github issues can be handled by the same developers than in bugs.php.net? It is a bit weird that I cannot change status or anything else but add comments :) Best, -- Pierre @pierrejoye | http://www.libgd.org -- PHP Internals - PHP Runtime Development