On Fri, 22 Aug 2014, Derick Rethans wrote: > On Fri, 22 Aug 2014, Anatol Belski wrote: > > > as there are many data type changes, here's an idea on how to > > simplify the merges. Git supports custom merge drivers which > > attracted my attention, so I've ended up with the following trick: > > As there are that many differences, does it still make sense to GIT > merge PHP 5 changes up to 7 at all? Shouldn't we just do it by hand. I > would expect that to have a much greater rate of success.
Really, no comments about this at all? cheers, Derick -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
