diff options
Diffstat (limited to 'lib-src/mr/config')
| -rw-r--r-- | lib-src/mr/config | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/lib-src/mr/config b/lib-src/mr/config index db4a686e..203cc5e4 100644 --- a/lib-src/mr/config +++ b/lib-src/mr/config @@ -229,7 +229,10 @@ checkout = git clone demeterp:doc doc update = git pull --rebase=false --no-edit "$@" autoci = doccheckin pre_update = win32 || doccheckin -sync = doccheckin && git pull --no-edit && git push +sync = + ssh -o ConnectTimeout=3 -o ForwardAgent=yes melete sh -lc \ + "'doccheckin; git -C doc push-all'" + doccheckin && git pull --no-edit && git push # Set mtimes to last commit, for Howm; doing so only in post_checkout, and not # fixups, should be sufficient for summary buffer ordering purposes. post_checkout = git utime |