Re: [PHP-DEV] Change default branch in GitHub for php-src

2019-02-23 Thread Christoph M. Becker
On 22.02.2019 at 19:11, Sebastian Bergmann wrote: > On 2/22/19 7:00 PM, Gabriel Caruso wrote: > >> So, I'd like to propose that the default branch should be *`PHP-7.4`*. > > Makes sense to me. +1. Switching the default branch back to master should happen with PHP 7.4 feature freeze. -- Christ

Re: [PHP-DEV] Change default branch in GitHub for php-src

2019-02-22 Thread Sebastian Bergmann
On 2/22/19 7:00 PM, Gabriel Caruso wrote: So, I'd like to propose that the default branch should be *`PHP-7.4`*. Makes sense to me. -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php

[PHP-DEV] Change default branch in GitHub for php-src

2019-02-22 Thread Gabriel Caruso
Hi everyone, how are you doing? I'd like to discuss the change of the default branch in GitHub for `php-src`. Today, the default branch is `master`, aka PHP 8.0, but, the development of `PHP 7.4` is still ongoing, and there's a lot of stuff that we should merge into it, instead of just master. The