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