make veracity commit push

[code/myrepos.git] / mr

diff --git a/mr b/mr
index 1307b545a919ffa0bf8f344a19e79fa5aec6edf6..58ebceb847ce97bf24397b35124ec73d1500b428 100755 (executable)
--- a/mr
+++ b/mr
@@ -1905,7 +1905,7 @@ cvs_commit = cvs commit "$@"
 hg_commit  = hg commit -m "$@" && hg push
 darcs_commit = darcs record -a -m "$@" && darcs push -a
 fossil_commit = fossil commit "$@"
 hg_commit  = hg commit -m "$@" && hg push
 darcs_commit = darcs record -a -m "$@" && darcs push -a
 fossil_commit = fossil commit "$@"

-veracity_commit = vv commit -m "@"
+veracity_commit = vv commit -m "@" && vv push

 
 git_record = git commit -a "$@"
 bzr_record =
 
 git_record = git commit -a "$@"
 bzr_record =