2008/5/7 Miklos Vajna <vmiklos@xxxxxxxxxxxxxx>: > > On Wed, May 07, 2008 at 05:19:30PM -0500, Steve Hoelzer <shoelzer@xxxxxxxxx> wrote: > > On Wed, May 7, 2008 at 4:33 PM, Thomas Adam <thomas.adam22@xxxxxxxxx> wrote: > > > I might be misunderstanding you, but to push tags, there's: > > > > > > git push --tags > > > > True, but I only want to type "git push". No, it's not _really_ > > necessary, but I'd like to set it up that way so I don't have to > > depend on my coworkers (new git users) remembering "--tags". > > 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. -- Thomas Adam -- 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
