Hi Yasuo, > -----Original Message----- > From: Yasuo Ohgaki [mailto:[email protected]] > Sent: Friday, October 14, 2016 4:08 AM > To: Anatol Belski <[email protected]> > Cc: Johannes Schlüter <[email protected]>; PHP internals list > <[email protected]>; Davey Shafik <[email protected]> > Subject: Re: [PHP-DEV] IMPORTANT: Git reset after wrong merge > > Hi Anatol, > > On Fri, Oct 14, 2016 at 8:11 AM, Anatol Belski <[email protected]> wrote: > > Yeah, we'll be checking to restore the missing 7.1 commits. Currently merges > 7.0 to 7.1, or 7.1 to master, might have issues. I'd ask to please retain from > pushing there, until the branch is restored. Hopefully this will happen at > some > point tomorrow. > > I already pushed UPGRADING. This should be harmless. > I'll retain other changes, if any. > Many thanks for checking. It went faster than I thought, so it should be already possible to push an do the merges. Though it'd not hurt to check everything is in order before. So I'd make sense to wait like half a day or so for everyone to look over the branch before starting with some "heavy" things :)
Thanks Anatol -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
