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". 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
