diff options
| author | Sean Whitton <spwhitton@spwhitton.name> | 2018-05-24 20:07:33 +0100 |
|---|---|---|
| committer | Sean Whitton <spwhitton@spwhitton.name> | 2020-01-12 12:28:26 +0000 |
| commit | 61a9a6400d9872dbcecb5fcfcabfb1f58e576cd1 (patch) | |
| tree | 7965989235918bec1f25f5e3069b0f0d45cc191b | |
| parent | e8e0bae1e05808587307a1d1a10fb6433bc32ce3 (diff) | |
| download | dotfiles-61a9a6400d9872dbcecb5fcfcabfb1f58e576cd1.tar.gz | |
sync athena docs too on zephyr, temporarily
| -rw-r--r-- | .mrconfig.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.mrconfig.in b/.mrconfig.in index 8d5caaaa..fdc612e4 100644 --- a/.mrconfig.in +++ b/.mrconfig.in @@ -600,7 +600,7 @@ pre_update = win32 || doccheckin autoci = doccheckin || true # quick syncs -sync = doccheckin && git pull && git push +sync = doccheckin && ssh athena 'rm $XDG_RUNTIME_DIR/gnupg/*' ||:; ssh athena mr -d doc sync && git pull && git push && ssh athena mr -d doc sync # --- static websites on web host boxes |