|  support |  documentation |  report a bug |  advanced search |  search howto |  statistics |  random bug |  login
Request #77196 Add web/master repository on GitHub
Submitted: 2018-11-25 07:24 UTC Modified: 2019-02-05 21:09 UTC
Avg. Score:5.0 ± 0.0
Reproduced:1 of 1 (100.0%)
Same Version:1 (100.0%)
Same OS:1 (100.0%)
From: Assigned: johannes (profile)
Status: Closed Package: Systems problem
PHP Version: Irrelevant OS: Irrelevant
Private report: No CVE-ID: None
View Add Comment Developer Edit
Anyone can comment on a bug. Have a simpler test case? Does it work for you on a different platform? Let us know!
Just going to say 'Me too!'? Don't clutter the database with that please !
Your email address:
Solve the problem:
1 + 23 = ?
Subscribe to this entry?

 [2018-11-25 07:24 UTC]
The web/master repository is not available on GitHub as a mirror which makes it a bit difficult to collaborate via pull requests. It has been noted few times before and since it hopefully it is not too delicate code for sharing it on GitHub, I'm opening a request also here if maybe someone will be so kind one day and enable GitHub mirror. Thank you.


Add a Patch

Pull Requests

Add a Pull Request


AllCommentsChangesGit/SVN commitsRelated reports
 [2018-11-25 12:17 UTC]
-Assigned To: +Assigned To: tyrael
 [2018-11-25 12:17 UTC]
Ferenc, any chance you can do that? I don't know who else would be able to configure a mirror
 [2019-02-05 21:09 UTC]
-Status: Assigned +Status: Closed -Assigned To: tyrael +Assigned To: johannes
PHP Copyright © 2001-2020 The PHP Group
All rights reserved.
Last updated: Fri Feb 21 01:01:26 2020 UTC