[Karellen]

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.