have fetch_commits call check_commits

and check_commits not run gitk

diff --git a/check_commits b/check_commits
index 9011cb3c11d99db1af6c594d233f31f9b5adc786..73ad0f653d2afed0e28667a24dc6a658a7930518 100755 (executable)
--- a/check_commits
+++ b/check_commits
@@ -80,4 +80,4 @@ done
 print_commits 'author' "${author_missing[@]}"
 print_commits 'committer' "${committer_missing[@]}"
 
-exec gitk "$@"
+#exec gitk "$@"

diff --git a/fetch_trees b/fetch_trees
index df10800f32dcd0921bdf79d2d3d39de71049692a..91d3d8f34c3129ded7a586e6b8349c42650fa767 100755 (executable)
--- a/fetch_trees
+++ b/fetch_trees
@@ -79,7 +79,13 @@ for name in $trees; do
        fun="fetch_$type"
        tfun=$(type -t "$fun")
        if [ "$tfun" = 'function' ]; then
+               branch=$(get_field "$name" 5)
+               old_sha=$(git rev-parse "$name/$branch")
                "$fun" "$name"
+               new_sha=$(git rev-parse "$name/$branch")
+               if ! [ "$new_sha" = "$old_sha" ]; then
+                       "$tools_dir"/check_commits ^origin/master "$old_sha..$new_sha"
+               fi
        fi
 done