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 <hauke@hauke-m.de>

diff --git a/makebranch.sh b/makebranch.sh
index 4b3ab77ab05425830bb56fc60893c5f8f2c9c901..9e285d2163c30470b4c6fae00565fd85f97f5d7d 100755 (executable)
--- 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 5152411f594040ed3ae48d7ab35f03731f8f603e..f45588d56957c73c679ae40f502c49494e048f2b 100755 (executable)
--- 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##*;}")" ;;