Good evening,
It’s worrying that pull requests to php-src on GitHub often go neglected. To solve this, I propose an account be set up which would “watch” the repo on GitHub and then have its email address be redirected to internals. This would mean internals would be notified of every new pull request.
Could this happen?
Thanks.
Andrea Faulds
http://ajf.me/
Good evening,
It’s worrying that pull requests to php-src on GitHub often go neglected.
To solve this, I propose an account be set up which would “watch” the repo
on GitHub and then have its email address be redirected to internals. This
would mean internals would be notified of every new pull request.
So, something like git-pulls@lists.php.net ?
Could this happen?
Thanks.
Andrea Faulds
http://ajf.me/
Good evening,
It’s worrying that pull requests to php-src on GitHub often go neglected.
To solve this, I propose an account be set up which would “watch” the repo
on GitHub and then have its email address be redirected to internals. This
would mean internals would be notified of every new pull request.So, something like git-pulls@lists.php.net ?
... right. We already have this.
cheers,
Derick
--
http://derickrethans.nl | http://xdebug.org
Like Xdebug? Consider a donation: http://xdebug.org/donate.php
twitter: @derickr and @xdebug
Posted with an email client that doesn't mangle email: alpine
Good evening,
It’s worrying that pull requests to php-src on GitHub often go neglected.
To solve this, I propose an account be set up which would “watch” the repo
on GitHub and then have its email address be redirected to internals. This
would mean internals would be notified of every new pull request.So, something like git-pulls@lists.php.net ?
... right. We already have this.
However, does anyone actually subscribe to that list? If it was on internals, I think they’d get more attention. At the moment people have to come here just to have a hope of seeing their requests merged.
--
Andrea Faulds
http://ajf.me/
Good evening,
It’s worrying that pull requests to php-src on GitHub often go neglected.
To solve this, I propose an account be set up which would “watch” the repo
on GitHub and then have its email address be redirected to internals. This
would mean internals would be notified of every new pull request.So, something like git-pulls@lists.php.net ?
... right. We already have this.
However, does anyone actually subscribe to that list?
Yes. I am subscribed.
cheers,
Derick
--
http://derickrethans.nl | http://xdebug.org
Like Xdebug? Consider a donation: http://xdebug.org/donate.php
twitter: @derickr and @xdebug
Posted with an email client that doesn't mangle email: alpine
Good evening,
It’s worrying that pull requests to php-src on GitHub often go
neglected.
To solve this, I propose an account be set up which would “watch” the
repo
on GitHub and then have its email address be redirected to internals.
This
would mean internals would be notified of every new pull request.So, something like git-pulls@lists.php.net ?
... right. We already have this.
However, does anyone actually subscribe to that list?
Looks like at least Derick and myself.
If it was on internals, I think they’d get more attention.
Sure, and lots of people not wanting this noise added to the list.
At the moment people have to come here just to have a hope of seeing their
requests merged.
That's unfortunate.
I think we should make the php-pulls list work again (if we can), then
anyone who wants to subscribe can do so. Then it's just a matter of letting
people know that the list exists.
--
Andrea Faulds
http://ajf.me/
Good evening,
It’s worrying that pull requests to php-src on GitHub often go
neglected.
To solve this, I propose an account be set up which would “watch” the
repo
on GitHub and then have its email address be redirected to internals.
This
would mean internals would be notified of every new pull request.So, something like git-pulls@lists.php.net ?
... right. We already have this.
This email thread aims to explore mitigative approaches for the status quo,
i.e. mostly silent (or stale for that matter) discussion threads on most
outstanding pull requests; if what we currently have was already
sufficient, surely this thread wouldn't have been necessary, unless you
mean to say that we just need more git-pulls list subscriptions :)
cheers,
Derick--
http://derickrethans.nl | http://xdebug.org
Like Xdebug? Consider a donation: http://xdebug.org/donate.php
twitter: @derickr and @xdebug
Posted with an email client that doesn't mangle email: alpine--
--
Tjerk