Re: [PHP-DEV] Cleaning 5.3 git branches ?
[email protected] (Julien Pauli)
| Newsgroups | php.internals |
|---|---|
| Message-ID | <CAMUwpuRW3q2xMwabtumPEEsyFOeC1XuUr5Lc160Zojx-fp87hw@mail.gmail.com> |
On Fri, Aug 29, 2014 at 8:54 AM, Andrey Andreev <[email protected]> wrote: > 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. 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