urm ... sorry, I'm so terrible at git ...
On Thu, Oct 13, 2016 at 11:07 PM, Yasuo Ohgaki <yohg...@ohgaki.net> wrote:
> On Fri, Oct 14, 2016 at 4:51 AM, Lauri Kenttä <lauri.ken...@gmail.com>
> > Actually I just followed the lines in the git graph:
> > $ git log origin/PHP-7.1.0RC3 --oneline | head -n2
> > 8fe9ea3 Update versions/dates for PHP 7.1.0RC3
> > 36d5bed Merge branch 'PHP-7.0' into PHP-7.1
> > -> 36d5bed is known to be good, and luckily it's not too old.
> > $ git log origin/PHP-7.1 --oneline --graph
> > -> searched for 36d5bed and followed up the PHP-7.1 line, which
> > is the one with "Merge branch 'PHP-7.0' into PHP-7.1" commits,
> > whereas the other branch has "Merge branch 'PHP-7.1'" commits.
> > I suppose git when-merged 36d5bed would do the trick, too.
> git-when-merged worked well.
> MacBook-Pro:PHP-7.1 yohgaki$ git-when-merged -l 36d5bed
> refs/heads/PHP-7.1 8ee842b0ea0d94035fe584ca8a3213
> commit 8ee842b0ea0d94035fe584ca8a3213902bf663b2
> Merge: 160832e 1bc3e1b
> Author: Joe Watkins <krak...@php.net>
> Date: Fri Sep 30 07:23:19 2016 +0100
> Merge branch 'master' of https://github.com/php/php-src
> MacBook-Pro:PHP-7.1 yohgaki$ git-when-merged --diff 36d5bed | wc -l
> It has almost 10k lines of diff, so this would be it.
> Davey, please let us know when PHP-7.1 branch is ready for new commits.
> I would like to add missing description in UPGRADING.
> Thank you,
> Yasuo Ohgaki
> PHP Internals - PHP Runtime Development Mailing List
> To unsubscribe, visit: http://www.php.net/unsub.php