Re: IMPORTANT: Git reset after wrong merge
| From: | Christoph M. Becker | Date: | Fri, 14 Oct 2016 11:56:10 +0000 |
| Subject: | Re: IMPORTANT: Git reset after wrong merge | ||
| References: | 1 2 3 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-96368@lists.php.net to get a copy of this message | ||
On 14.10.2016 at 04:25, Anatol Belski wrote:
> I would explicitly ask Dmitry, Sara, Hui, Stas, Bob, Nikita and
> Christoph to check that all the code pushed after Monday 2016-10-10
> 13:11:45 is where it's expected to be. But also everyone else
> involved/interested - it would be a big help to double check, also
> with UPGRADING, NEWS, etc.
My commits are in all branches where they are supposed to be. Also NEWS
and UPGRADING is correct (I had to re-commit a single NEWS entry).
--
Christoph M. Becker