[lucy-dev] Deleting RC tags

[Marvin Humphrey]

Greets,

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.

Marvin Humphrey