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 -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
