Also fetch the git tags since those are needed for proper versioning.
When reseting the repository do not use `origin/$GIT_REV`, only `$GIT_REV`.