Thanks Oleg, `git fetch --tags' indeed helped. man git-fetch says `By default, any tag that points into the histories being fetched is also fetched; the effect is to fetch tags that point at branches that you are interested in.'
As I'm on trunk and this tag doesn't point to a commit on trunk, then it wasn't fetched. Filipp. --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
