On Fri, Aug 29, 2014 at 3:03 AM, Johannes Schlüter <johan...@schlueters.de> 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. -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
