Re: [PHP-DEV] Cleaning 5.3 git branches ?

On Fri, Aug 29, 2014 at 3:03 AM, Johannes Schlüter
<[email protected]> wrote:
> On Fri, 2014-08-29 at 00:12 +0100, Andrea Faulds wrote:
>> I don’t see the need, though. For cases where we added stuff after release, just make an extra tag.
>
> $ git tag | wc -l
> 937
> $ git branch -r | grep origin | wc -l
> 128
>
> Not sure creating more tags makes things really "cleaner", I made a
> proposal which can easily be implemented. If you don't like it, ok. If
> you want to do more complex things: Fine with me.
>
> Last message by me in this thread, there are way better things for
> wasting time ...

Indeed.

I guess a php-src-history.git is better than arguing whether to delete
something or not.

Cheers,
Andrey.