Re: [PR][php-src][#693][master][opened] - pcntl_signal_dispatch: Speed up by preventing system calls when unnecessary

On 12 Jun 2014, at 12:51, Derick Rethans <derick@php.net> wrote: > On Wed, 11 Jun 2014, Andrea Faulds wrote: > >> >> On 11 Jun 2014, at 17:17, Derick Rethans <derick@php.net> wrote: >> >>> Why is this not going to git-pulls@ ? Please don't make new PRs drown in >>> the noise that internals (can be). >> >> They’re hardly *drowning* internals. Furthermore, said patches will >> eventually be announced on internals anyway if they don’t get merged. >> >> I say keep them here. > > I say you don't make that decision on your own. We have a list for it, > put it on there. The list is redundant. GitHub has email notifications. It is only useful when pointed at internals. Also, we don’t get many pull requests. Finally, you shouldn’t make that decision on your own, either. -- Andrea Faulds http://ajf.me/