Delete PHPNG branch from repo?

+1

Hey:

there already are more than 2 people tell me they are trying to
play with PHP7, but turns out they are playing with PHPNG branch(since
we used to call it phpng).

as it already be merged into master. and there is also no tags against
it.

maybe we should delete it?

any objections?

thanks

--
Xinchen Hui
@Laruence
http://www.laruence.com/

--

no, please go ahead.
we even have tags of PRE_PHPNG_MERGE and POST_PHPNG_MERGE, so there is
absolutely no reason to keep it around.

--
Ferenc Kovács
@Tyr43l - http://tyrael.hu

Hey:

Hey:

there already are more than 2 people tell me they are trying to
play with PHP7, but turns out they are playing with PHPNG branch(since
we used to call it phpng).

as it already be merged into master. and there is also no tags against
it.

maybe we should delete it?

any objections?

thanks

--
Xinchen Hui
@Laruence
http://www.laruence.com/

--

no, please go ahead.
we even have tags of PRE_PHPNG_MERGE and POST_PHPNG_MERGE, so there is
absolutely no reason to keep it around.

thanks, deleted. :)

--
Ferenc Kovács
@Tyr43l - http://tyrael.hu

--
Xinchen Hui
@Laruence
http://www.laruence.com/