Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:111872
To: Nikita Popov <nikita.ppv@gmail.com>
Cc: PHP internals <internals@lists.php.net>
References: <0736f00e-1373-fa74-8409-6a6e1084f0dd@beccati.com>
 <CAF+90c8dMfAwPUGruNTV-3zpEOLSnDUsGKzSzb_DyAmwqZh5mg@mail.gmail.com>
Message-ID: <4ed2b04f-4771-67d5-e07b-39b6ae89a2bd@beccati.com>
Date: Wed, 16 Sep 2020 13:19:58 +0200
MIME-Version: 1.0
In-Reply-To: <CAF+90c8dMfAwPUGruNTV-3zpEOLSnDUsGKzSzb_DyAmwqZh5mg@mail.gmail.com>
Content-Type: text/plain; charset=utf-8
Content-Language: en-GB
Content-Transfer-Encoding: 7bit
Subject: Re: [PHP-DEV] Git workflow, PRs and php-cvs ML
From: php@beccati.com (Matteo Beccati)

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.


Cheers
-- 
Matteo Beccati

Development & Consulting - http://www.beccati.com/