Re: IMPORTANT: Git reset after wrong merge

From: Date: Fri, 14 Oct 2016 02:08:21 +0000
Subject: Re: IMPORTANT: Git reset after wrong merge
References: 1 2  Groups: php.internals 
Request: Send a blank email to internals+get-96363@lists.php.net to get a copy of this message
Hi Anatol, On Fri, Oct 14, 2016 at 8:11 AM, Anatol Belski <anatol.php@belski.net> 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. Regards, -- Yasuo Ohgaki yohgaki@ohgaki.net

« previous php.internals (#96363) next »