Re: Git workflow, PRs and php-cvs ML
| From: | Matteo Beccati | Date: | Wed, 16 Sep 2020 11:19:58 +0000 |
| Subject: | Re: Git workflow, PRs and php-cvs ML | ||
| References: | 1 2 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-111872@lists.php.net to get a copy of this message | ||
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/