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.
Attachment:
pgpnHgLlcZ983.pgp
Description: PGP signature
