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

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 ... 

johannes