Giuseppe Bilotta wrote:
quoted text
> Sorry but I fail to see the reason why you would have to move or
> delete the git tag if there are commits under a tags directory.

Well, because it's the behaviour that the repository owner is
indicating.  Just like in git if you have a tag you don't like, you can
delete it and re-create it, I think that's what we should do.

The new version of the tag would point to the new head of the
tags/tagname branch.  But until that re-writing of the tag happens, the
branch doesn't need to exist as it introduces no new commits.

Sam.


-
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html