From dc5a7ad0e2fd794edc484b34f9ffb9e623743b06 Mon Sep 17 00:00:00 2001 From: Stephen Rothwell Date: Wed, 13 Aug 2025 16:37:16 +1000 Subject: [PATCH] fetch_trees: we only fetch git trees now --- fetch_trees | 23 ++++++++++++----------- 1 file changed, 12 insertions(+), 11 deletions(-) diff --git a/fetch_trees b/fetch_trees index 48599f8..50810c7 100755 --- a/fetch_trees +++ b/fetch_trees @@ -65,22 +65,23 @@ for name in $trees; do printf '%s: unknown tree\n' "$name" 1>&2 continue fi + if ! [ "$type" = 'git' ]; then + continue + fi if [ "$(get_url "$name")" = 'linux-next' ]; then continue fi - printf '%s: %s\n' "$name" "$type" - fun="fetch_$type" - tfun=$(type -t "$fun") - if [ "$tfun" = 'function' ]; then - branch=$(get_remote_branch "$name") - old_sha=$(git rev-parse --quiet --verify "$name/$branch") - new_sha=$("$fun" "$name" "$branch" "$old_sha") - check_dups "$name" origin/master "$new_sha" - if ! [ "$new_sha" = "$old_sha" ]; then - "$tools_dir"/check_commits ^origin/master "$old_sha..$new_sha" - fi + printf '%s\n' "$name" + + branch=$(get_remote_branch "$name") + old_sha=$(git rev-parse --quiet --verify "$name/$branch") + new_sha=$(fetch_git "$name" "$branch" "$old_sha") + + check_dups "$name" origin/master "$new_sha" + if ! [ "$new_sha" = "$old_sha" ]; then + "$tools_dir"/check_commits ^origin/master "$old_sha..$new_sha" fi done -- 2.47.3