On Mon, Aug 5, 2013 at 2:28 PM, David E. Wheeler <[email protected]> wrote:
> On Aug 5, 2013, at 9:30 PM, Marvin Humphrey <[email protected]> wrote:
>
>> If nobody objects, I'm going to start deleting the tags for release
>> candidates from our git repository.  I also plan to add RC tag
>> deletion to the post-VOTE sequence in release_commands.pl.
>
> I have no objection, but tags are cheap. What’s the point?

I was just doing a bunch of tidying up: deleting obsolete branches, etc.

The only advantage is that `git tag` gets cumbersome when there's a
large number of tags, so pruning them makes its output easier to deal
with.

There's no information lost because in the extremely unlikely event
that we need to go back and look at RC tags, the commit SHA the tag
was aliased to is captured in our mailing list archives:

   
http://mail-archives.apache.org/mod_mbox/lucy-commits/201307.mbox/%[email protected]%3E

Marvin Humphrey

Reply via email to