diff options
author | Sean Whitton <spwhitton@spwhitton.name> | 2018-04-15 11:13:18 -0700 |
---|---|---|
committer | Sean Whitton <spwhitton@spwhitton.name> | 2018-04-15 11:13:18 -0700 |
commit | da53267d4556b0410285d4f9003074b8146dc60d (patch) | |
tree | 596146e65a20fa2670b53d1795a3e7895cb23f85 | |
parent | 4e74d2b25cc821278225fee1a0da72dd97179592 (diff) | |
download | dotfiles-da53267d4556b0410285d4f9003074b8146dc60d.tar.gz |
tweak ~/dovc pre_update action
-rw-r--r-- | home-mrconfig | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/home-mrconfig b/home-mrconfig index 711b5566..1945de70 100644 --- a/home-mrconfig +++ b/home-mrconfig @@ -443,7 +443,7 @@ skip = ! mine #fixups = git-utime # before pulling, automatically commit in the same way that my cron job does -pre_update = (! win32) && doccheckin +pre_update = win32 || doccheckin # ... and let me do it manually autoci = doccheckin || true |