fetch_trees: don't do anything if we have merged the last tree

diff --git a/fetch_trees b/fetch_trees
index 91d3d8f34c3129ded7a586e6b8349c42650fa767..d7139e192b999e6011bc671109f913355a327cbd 100755 (executable)
--- a/fetch_trees
+++ b/fetch_trees
@@ -14,6 +14,9 @@ if [ "$1" = '-n' ]; then
                print $3;
                exit 0;
        }' "$CTRL_FILE")
+       if [ "X$last" = "X$start_from" ]; then
+               exit 0
+       fi
 fi
 
 if [ "$1" = '-s' ]; then