From 85f02092fde84fccf2c7807589eea0844d007380 Mon Sep 17 00:00:00 2001
From: Sean Whitton <spwhitton@spwhitton.name>
Date: Thu, 1 Sep 2022 10:14:41 -0700
Subject: sync from melete ~/doc on erebus

---
 lib-src/mr/config | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

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
-- 
cgit v1.2.3