projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Add more ignorance
[ghc-hetmet.git]
/
sync-all
diff --git
a/sync-all
b/sync-all
index
728c725
..
02ac521
100755
(executable)
--- a/
sync-all
+++ b/
sync-all
@@
-303,7
+303,6
@@
sub scmall {
}
elsif ($command =~ /^(?:pus|push)$/) {
@scm_args = "push";
}
elsif ($command =~ /^(?:pus|push)$/) {
@scm_args = "push";
- $want_remote_repo = 1;
}
elsif ($command =~ /^(?:pul|pull)$/) {
@scm_args = "pull";
}
elsif ($command =~ /^(?:pul|pull)$/) {
@scm_args = "pull";
@@
-362,6
+361,12
@@
sub scmall {
# Hack around 'git grep' failing if there are no matches
$ignore_failure = 1;
}
# 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";
}
else {
die "Unknown command: $command";
}
@@
-417,6
+422,8
@@
Supported commands:
* remote rm <branch-name>
* remote set-url [--push] <branch-name>
* grep
* remote rm <branch-name>
* remote set-url [--push] <branch-name>
* grep
+ * reset
+ * config
Available package-tags are:
END
Available package-tags are:
END