php.net |  support |  documentation |  report a bug |  advanced search |  search howto |  statistics |  random bug |  login
Bug #75226 news.php.net/php.git-pulls doesn't get any updates
Submitted: 2017-09-18 14:40 UTC Modified: 2018-10-23 15:59 UTC
Votes:2
Avg. Score:3.5 ± 0.5
Reproduced:1 of 1 (100.0%)
Same Version:1 (100.0%)
Same OS:1 (100.0%)
From: cmb@php.net Assigned: petk (profile)
Status: Closed Package: Systems problem
PHP Version: Irrelevant OS: n/a
Private report: No CVE-ID: None
View Developer Edit
Welcome! If you don't have a Git account, you can't do anything here.
If you reported this bug, you can edit this bug over here.
(description)
Block user comment
Status: Assign to:
Package:
Bug Type:
Summary:
From: cmb@php.net
New email:
PHP Version: OS:

 

 [2017-09-18 14:40 UTC] cmb@php.net
Description:
------------
Since a few months http://news.php.net/php.git-pulls doesn't get updates
anymore, even though there have been quite some more recents pull requests. I
don't know whether this is an issue with the news server, or whether the mailing
list is down as well.



Patches

Pull Requests

History

AllCommentsChangesGit/SVN commitsRelated reports
 [2018-10-23 15:49 UTC] petk@php.net
-Status: Open +Status: Closed -Assigned To: +Assigned To: petk
 [2018-10-23 15:49 UTC] petk@php.net
Hello, I guess this got fixed in the meantime because now it's working again and the pull request changes from the php-src repository are published. In case I've missed something, please reopen this. Thank you.
 [2018-10-23 15:59 UTC] cmb@php.net
Thanks!  I've missed that this ticket is still open.
 
PHP Copyright © 2001-2024 The PHP Group
All rights reserved.
Last updated: Mon Dec 30 14:01:28 2024 UTC