Hi!

This message is for anybody that is going to create tags in PHP's git
repo. If you are not going to do that ever, you may skip this message.

As you probably know, we recently made mass rename of tags from
something like PHP-4.1.2-RC1 to php-4.1.2RC1. However, turns out that
git does not delete old tags from local repositories when they are
deleted/changed on remote. What this leads to is that if you ever
fetched old tags, they are with you forever unless you delete them
manually (see below about that). Please see more discussion about the
topic here:

http://stackoverflow.com/q/1841341/214196
http://thread.gmane.org/gmane.comp.version-control.git/168833

So what happened today is that I created a tag for 5.4.1RC1, and pushed
it to the remote repo. Unknown to me, old tags left from before the
rename were still sitting in my repo, and came out of the woods when the
push was done, resulting to massive spam on php-cvs list and major
embarrassment for me. I'd like to apologize for inconvenience caused and
would propose for everybody that has push access to check their tags
(git tag -l) and if there are any old tags, remove them. As far as I
understand the best recipe is to do this:

git tag -l | xargs git tag -d

This will delete all local tags

git fetch

This will reimport tags from remote repo

If anybody has better recipe on how to do it, please share. In any case,
if you are ever going to tag PHP repo, please check your tag list and
see if there are no stale ones left.
I think you can also push single tag with "git push tag" but I'm not
sure about the exact syntax. Git gurus are welcome to chime in. Most
people (including me) always use push --tags, but the danger in that is
obvious now so please learn from my fail and be careful :)

Stanislav Malyshev, Software Architect
SugarCRM: http://www.sugarcrm.com/
(408)454-6900 ext. 227