introduce get_contacts function and use it

[next-scripts] / update_trees

diff --git a/update_trees b/update_trees
index d5c8697e96985c706b00bd458b1d2ae0b5a01c76..5d4e90a7217863fa52b29b16a2e86f818a049a20 100755 (executable)
--- a/update_trees
+++ b/update_trees
@@ -83,7 +83,7 @@ for name in $quilters; do
 
        for f in $patches; do
                old_head=$(git rev-parse --verify HEAD)
-               execute git am --patch-format=mbox "../quilt/$name/$f"
+               execute git am -s --patch-format=mbox "../quilt/$name/$f"
                new_head=$(git rev-parse --verify HEAD)
                [ "$new_head" = "$old_head" ] && {
                        echo "Tree unchanged, please check ..."