tagging

So, how does one create a tag? Just git tag v1.0.0 right? WRONG. You usually don%u2019t want to do that. In fact, some suggest that this command does the wrong thing by default. Without arguments, git tag creates a %u201Clightweight%u201D tag that is basically a branch that never moves. Lightweight tags are still useful though, perhaps for marking a known good (or bad) version, or a bunch of commits you may need to use in the future. Nevertheless, you probably don%u2019t want to push these kinds of tags.