also I'm using git since a long time, I can't remember that I've noticed
that git doesn't make a note or warning if remotes tags have changed.
E.g. what's often will be forgotten is to annotate tags before pushing
them. The usual resolution is just to annotate them locally and push
But such a change never ends up at people which already have fetched the
tag (without them using git fetch -t). They even don't receive a notice
which could remind them to use git fetch -t.
Unfortunately I'm not aware a lot about git internals, but would it be
hard to make it configurable (tagopts comes into mind) that git outputs
a warning if a remote tag and local tag do disagree about the commit,
annotation or sign? I even would prefer such a warning as the default.
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majord...@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html