[php-src] Issue #7725: README.md steps for reporting bugs should be updated to mention github issues instead of bugs.php.net
| From: | noreply@php.net | Date: | Tue, 07 Dec 2021 18:14:31 +0000 |
| Subject: | [php-src] Issue #7725: README.md steps for reporting bugs should be updated to mention github issues instead of bugs.php.net | ||
| Groups: | php.bugs | ||
| Request: | Send a blank email to php-bugs+get-238270@lists.php.net to get a copy of this message | ||
Issue: https://github.com/php/php-src/issues/7725
Comment Author: Danack
> Should creating an issue be optional if there's a GitHub PR fixing the bug?
Optional is probably right. Issues and PRs share the same number scheme and users are redirected to
the correct url, if they put the wrong (issues|pull) in the URL
e.g. https://github.com/php/php-src/issues/7732
=> https://github.com/php/php-src/pull/7732