diff options
author | Sean Whitton <spwhitton@spwhitton.name> | 2022-09-01 10:14:41 -0700 |
---|---|---|
committer | Sean Whitton <spwhitton@spwhitton.name> | 2023-05-21 11:03:05 -0700 |
commit | 85f02092fde84fccf2c7807589eea0844d007380 (patch) | |
tree | 76ab4a6a1d920d497d11c3938fd2055866277628 | |
parent | 087c30c4896afa38d55d3d5ee0fde07ea257bfff (diff) | |
download | dotfiles-85f02092fde84fccf2c7807589eea0844d007380.tar.gz |
sync from melete ~/doc on erebusarchive/erebus
-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 |