Merge pull request #5492 from miri64/dist/fix/git-cache-tags

git-cache: also fetch tags

dist/tools/git/git-cache

@@ -60,7 +60,7 @@ clone() {
     if _check_commit $2 2>&1; then
         git init "${TARGET_PATH}"
         git_cache tag commit$SHA1 $SHA1 || true # ignore possibly already existing tag
-        git -C "${TARGET_PATH}" fetch --depth=1 "${GIT_CACHE_DIR}" refs/tags/commit$SHA1
+        git -C "${TARGET_PATH}" fetch --tags --depth=1 "${GIT_CACHE_DIR}" refs/tags/commit$SHA1
         git -C "${TARGET_PATH}" checkout FETCH_HEAD
     else
         git clone "${REMOTE}" "${TARGET_PATH}"