On Fri, Aug 29, 2014 at 8:54 AM, Andrey Andreev <n...@devilix.net> wrote: > 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.
I like the idea. We should also update the docs (release-process?) if things are not automated, or automate them if it is possible. Julien.P -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
