Re: Cleaning 5.3 git branches ?
| From: | Andrey Andreev | Date: | Fri, 29 Aug 2014 06:54:30 +0000 |
| Subject: | Re: Cleaning 5.3 git branches ? | ||
| References: | 1 2 3 4 5 6 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-76941@lists.php.net to get a copy of this message | ||
On Fri, Aug 29, 2014 at 3:03 AM, Johannes Schlüter
<johannes@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.