Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:111891
MIME-Version: 1.0
References: <0736f00e-1373-fa74-8409-6a6e1084f0dd@beccati.com>
 <CAF+90c8dMfAwPUGruNTV-3zpEOLSnDUsGKzSzb_DyAmwqZh5mg@mail.gmail.com> <4ed2b04f-4771-67d5-e07b-39b6ae89a2bd@beccati.com>
In-Reply-To: <4ed2b04f-4771-67d5-e07b-39b6ae89a2bd@beccati.com>
Date: Thu, 17 Sep 2020 20:12:24 +0200
Message-ID: <CAF+90c_D50QPbP07LQ=GOVyM9MutHim_YOPkfnq-mRDaLC38gw@mail.gmail.com>
To: Matteo Beccati <php@beccati.com>
Cc: PHP internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary="0000000000006840b505af8654b2"
Subject: Re: [PHP-DEV] Git workflow, PRs and php-cvs ML
From: nikita.ppv@gmail.com (Nikita Popov)

--0000000000006840b505af8654b2
Content-Type: text/plain; charset="UTF-8"

On Wed, Sep 16, 2020 at 1:20 PM Matteo Beccati <php@beccati.com> wrote:

> Hi Nikita,
>
> On 16/09/2020 12:46, Nikita Popov wrote:
> > No, this just means that your CI is running tests that our CI doesn't.
> > In this case, you are probably using a different MySQL version and thus
> > run a different subset of tests.
>
> I know that, and that's why I keep it running it ;-)
>
> I was just saying that some commits aren't getting to the php-cvs
> mailing list, and often that happens when closing GitHub PRs. And I
> suspect it has somethinig to do with the way the PR merge is handled.
>

Oh sorry, completely misunderstood what you were referring to. I believe
this is related to the size of the diff. Large diffs probably run into some
size limit and don't reach the php-cvs list.

Nikita

--0000000000006840b505af8654b2--