Re: Removing old branches in php-src

We already have a git repository where we keep historical branches, we don't need to create another. I'm really not sure what the problem is here, and we have spent far too long discussing this non issue. Cheers Joe On Mon, 19 Aug 2019 at 23:23, Olumide Samson <hisamsonolu@gmail.com> wrote: > > > > Maybe it might necessarily not need be removed, if this might be a better > > idea, why shouldn't there be a php-archive or something like that as a > git > > account or repository where all those historical branches may be kept for > > historical access? > > > > I think removing isn't making sense to me as well, but archiving them > > should be without not much justification like currently requested. > > > > >