The first time, sure. But the second time, a `git pull` should normally be significantly quicker. Heck, you could check if the tag you want already exists in t

The first time, sure. But the second time, a `git pull` should normally be significantly quicker. Heck, you could check if the tag you want already exists in the repo you have and skip the `git pull` a lot of the time.