make adminmerge more covnenient

diff --git a/all b/all
index 17314d90718e1024db3101404ff9e3a449d994e1..e9134bf779b19e058e4adfda906b18ad90d67fdf 100755 (executable)
--- a/all
+++ b/all
@@ -562,6 +562,9 @@ case "$cmd" in
                rm -rf "$patchdir"
                ;;
        admin-merge)
+               if [ "$#" = 2 ]; then
+                       set -- "${1%%/*}" "${1#*/}"
+               fi
                for d in $repos; do
                        enter "$d0/$d" verbose
                        git rev-parse "$1/$2" || continue