[Sputnik-list] Inconsistency in Git repo

[Yuri Takhteyev]

I think I took care of it.  The "HEAD" tag is gone from the
repository.  As I understand, though, git does not "pull" deletion of
tags, so any who has gotten this tag should delete it manually:

    git tag -d HEAD

- yuri

-- 
http://sputnik.freewisdom.org/