X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=sync-all;h=02ac5214b28cb1e9be6d41581088250e850b44c7;hb=1de43f7ca9e3790bb6450bb6860d5d14261470d9;hp=f7caca5fc67d646f5060a9c54fc95c87f03483f9;hpb=2d8b3172b1997bbd94130576134dac7b200cc963;p=ghc-hetmet.git

diff --git a/sync-all b/sync-all
index f7caca5..02ac521 100755
--- a/sync-all
+++ b/sync-all
@@ -303,11 +303,9 @@ sub scmall {
             }
             elsif ($command =~ /^(?:pus|push)$/) {
                 @scm_args = "push";
-                $want_remote_repo = 1;
             }
             elsif ($command =~ /^(?:pul|pull)$/) {
                 @scm_args = "pull";
-                $want_remote_repo = 1;
                 # Q: should we append the -a argument for darcs repos?
             }
             elsif ($command =~ /^(?:g|ge|get)$/) {
@@ -363,6 +361,12 @@ sub scmall {
               # Hack around 'git grep' failing if there are no matches
               $ignore_failure = 1;
             }
+            elsif ($command =~ /^reset$/) {
+                @scm_args = "reset";
+            }
+            elsif ($command =~ /^config$/) {
+                @scm_args = "config";
+            }
             else {
                 die "Unknown command: $command";
             }
@@ -418,6 +422,8 @@ Supported commands:
  * remote rm <branch-name>
  * remote set-url [--push] <branch-name>
  * grep
+ * reset
+ * config
 
 Available package-tags are:
 END