From 904d0862497e4caeda3b407418026b77b16b20c1 Mon Sep 17 00:00:00 2001 From: Hauke Mehrtens Date: Thu, 21 Apr 2022 00:54:36 +0200 Subject: [PATCH] maketag.sh/makebranch.sh: Support src-git-full in feed Add support for feeds added with src-git-full instead of src-git. Signed-off-by: Hauke Mehrtens --- makebranch.sh | 3 ++- maketag.sh | 3 ++- 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/makebranch.sh b/makebranch.sh index 4b3ab77..9e285d2 100755 --- a/makebranch.sh +++ b/makebranch.sh @@ -104,7 +104,8 @@ git checkout -b "${distname_lc}-$version" while read type name url; do case "$type" in - src-git) + src-git|\ + src-git-full) case "$url" in *^*|*\;*) : ;; *) diff --git a/maketag.sh b/maketag.sh index 5152411..f45588d 100755 --- a/maketag.sh +++ b/maketag.sh @@ -110,7 +110,8 @@ export GIT_COMMITTER_EMAIL="$git_email" while read type name url; do case "$type" in - src-git) + src-git|\ + src-git-full) case "$url" in *^*) sha1="${url##*^}" ;; *\;*) sha1="$(git ls-remote "${url%;*}" "${url##*;}")" ;; -- 2.30.2