Re: Jabber, question on push,pull and --tags, and no help but jabber

Victor Engmark [off-list ref] writes:

quoted

More seriously, tags are not part of the "remotes layout", so when you
push them and others pull them they overwrite their tags if there's a
name clash.

That's odd - I wouldn't expect anything handled by Git to be simply
overwritten without merging. Is there some technical reason for this, or
is it just not implemented yet?

Branches are something you work on by looking at other people's progress,
so remote layout to copy his master branch to refs/remotes/his/master so
that you can compare it with yours with "git diff his/master master" or
merge his effort into yours with "git merge his/master" makes sense.

Tags are something that is to be _shared_ amongst people, and having v1.4.3
that is different depending on which member of the same project you ask is
a road to insanity, hence we don't do refs/remotes/his/v1.4.3 that could
be different from the project's global refs/tags/v1.4.3 to reduce the risk
of confusion.