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.

-- 
Christoph M. Becker

-- 
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: http://www.php.net/unsub.php

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. There're a couple of
examples that we constantly change from `master` to `PHP-7.4`.

So, I'd like to propose that the default branch should be *`PHP-7.4`*.

Best,
-- 
Gabriel Caruso