Re: Delete PHPNG branch from repo?

Hey: On Fri, Jan 30, 2015 at 10:14 PM, Ferenc Kovacs <tyra3l@gmail.com> wrote: > > > On Fri, Jan 30, 2015 at 3:04 PM, Xinchen Hui <laruence@php.net> wrote: >> >> 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/ >> >> -- >> PHP Internals - PHP Runtime Development Mailing List >> To unsubscribe, visit: http://www.php.net/unsub.php >> > > 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/