add "commit" as alias to push in the ./all script

diff --git a/all b/all
index 1cd8124a1e65ac89032995edf89dfdb3e44ebbb6..4e0e9460b1ad9133921afe5551690d1f196822fa 100755 (executable)
--- a/all
+++ b/all
@@ -270,7 +270,7 @@ case "$cmd" in
                        cd "$d0"
                done
                ;;
-       push)
+       push|commit)
                for d in $repos; do
                        dv=`visible_repo_name "$d"`
                        enter "$d0/$d"