Re: [PHP-DEV] Github issues
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 the organization. The organization was limited when gh was only a mirror, so I wonder why all accounts did not get migrated. -- Pierre @pierrejoye | http://www.libgd.org -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: https://www.php.net/unsub.php
Re: [PHP-DEV] Github issues
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 cannot change status or anything else but add > comments :) > > > Best, > -- > Pierre > > @pierrejoye | http://www.libgd.org > > -- > PHP Internals - PHP Runtime Development Mailing List > To unsubscribe, visit: https://www.php.net/unsub.php > >
[PHP-DEV] Github issues
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 Mailing List To unsubscribe, visit: https://www.php.net/unsub.php