Req #76550 [Opn->Csd]: Add link to bugs.php.net to GitHub repository
| From: | nikic@php.net | Date: | Mon, 20 May 2019 14:45:27 +0000 |
| Subject: | Req #76550 [Opn->Csd]: Add link to bugs.php.net to GitHub repository | ||
| References: | 1 | Groups: | php.bugs |
| Request: | Send a blank email to php-bugs+get-220917@lists.php.net to get a copy of this message | ||
Edit report at https://bugs.php.net/bug.php?id=76550&edit=1
ID: 76550
Updated by: nikic@php.net
Reported by: peterkokot at gmail dot com
Summary: Add link to bugs.php.net to GitHub repository
-Status: Open
+Status: Closed
Type: Feature/Change Request
Package: *General Issues
PHP Version: Irrelevant
-Assigned To:
+Assigned To: nikic
Block user comment: N
Private report: N
New Comment:
Done. Sorry for the delay, feel free to ping me directly for changes to the GH org.
Previous Comments:
------------------------------------------------------------------------
[2019-05-20 10:56:52] petk@php.net
Almost one year now, for a bug fix that takes several seconds. This is not looking good.
------------------------------------------------------------------------
[2018-06-29 16:12:53] peterkokot at gmail dot com
Description:
------------
Hello, this is a request for adding a link to this GitHub repository:
https://github.com/php/web-bugs
to point it to https://bugs.php.net
GitHub repositories can have links added via the Edit button when on the repository page:
1.) Admin with permissions to edit this repository
2.) Visit https://github.com/php/web-bugs
3.) Click edit button on the right
4.) Enter website https://bugs.php.net
5.) Save
That's for easier finding the mentioned repo online.
Thanks for considering adding this one day.
------------------------------------------------------------------------
--
Edit this bug report at https://bugs.php.net/bug.php?id=76550&edit=1