Add support for feeds added with src-git-full instead of src-git.
Signed-off-by: Hauke Mehrtens <hauke@hauke-m.de>
while read type name url; do
case "$type" in
while read type name url; do
case "$type" in
+ src-git|\
+ src-git-full)
case "$url" in
*^*|*\;*) : ;;
*)
case "$url" in
*^*|*\;*) : ;;
*)
while read type name url; do
case "$type" in
while read type name url; do
case "$type" in
+ src-git|\
+ src-git-full)
case "$url" in
*^*) sha1="${url##*^}" ;;
*\;*) sha1="$(git ls-remote "${url%;*}" "${url##*;}")" ;;
case "$url" in
*^*) sha1="${url##*^}" ;;
*\;*) sha1="$(git ls-remote "${url%;*}" "${url##*;}")" ;;