On Wed, May 7, 2008 at 5:38 PM, Thomas Adam <thomas.adam22@xxxxxxxxx> wrote: > 2008/5/7 Miklos Vajna <vmiklos@xxxxxxxxxxxxxx>: >> are you sure pushing tags by default is a good idea? people regularly >> create local tags to mark a commit before a rebase, to mark a commit as >> a fix for a given bug, etc. those tags aren't interesting for others. >> tags which should be pushed usually rare. then you can use git push >> origin tag v1.0, since you know which tag you really want to push. > > Probably not, which is why '--tags' exists in the first place. But > then if you're working from a shared repository (which I am -- as are > many, no doubt in a corporate environment) it's rather useful. I > would find local tags though to be odd. That's exactly my use case and why I asked the question. However, now I'm reconsidering because local tags and branches are a great feature to show off git. If the default is to push all tags and branches just like a centralized VCS, it becomes an obstacle to learning how git does it -- and I think that the more people learn about git the more they will like it. Steve -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
