Re: git push tags

Hi,

Pro Git, By Scott Chacon says:

2.6

   "Like most VCSs, Git has the ability to tag specific points in
history as being important.
Generally, people use this functionality to mark release points (v1.0,
and so on)."

2.6.2:

   "A [lightweight] tag is very much like a branch that does not change ..."

Clearly, tags are not the same as branches. They are there for a different purpose. If they were exactly the same as branches, there would be no need for them. Of course, they share some behaviors with branches, and there are several commands that handle them in the same way, but the key point is that they do not change, or at least they do not do that by default. The ability to force changes of tags is there only to correct tags that might have set tags to the wrong points by mistake. So, what I am telling is that this property must be preserved consistently across all commands, including git-push.

-Angelo