Merge pull request #187 from angt/fetch-tags

kiss: fetch tags too
2020-09-16 17:35:48 +03:00 · 2020-09-16 17:35:48 +03:00 · 4b7e4545f4
parent d85028e0f1 130e90b137
commit 4b7e4545f4
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -253,7 +253,7 @@ pkg_extract() {
                log "$1" "Cloning ${url%[#@]*}"; {
                    git init
                    git remote add origin "${url%[#@]*}"
-                    git fetch --depth=1 origin "$com" || git fetch
+                    git fetch --tags --depth=1 origin "$com" || git fetch --tags
                    git checkout "${com:-FETCH_HEAD}"
                } || die "$1" "Failed to clone $src"
            ;;