diff options
| author | Sean Whitton <spwhitton@spwhitton.name> | 2018-04-15 21:49:52 -0700 |
|---|---|---|
| committer | Sean Whitton <spwhitton@spwhitton.name> | 2018-04-15 21:49:52 -0700 |
| commit | 5a0a8d709e86580e7589dc2ca5f7450118023c28 (patch) | |
| tree | 0a596cd09aabd8b5c75b47caaa6ed6ab22ea6bdf | |
| parent | 7becab25c648e842d32dd340f47425ca8c464794 (diff) | |
| download | dotfiles-5a0a8d709e86580e7589dc2ca5f7450118023c28.tar.gz | |
dummy isclean commands
| -rw-r--r-- | home-mrconfig | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/home-mrconfig b/home-mrconfig index 86463149..1db94c2d 100644 --- a/home-mrconfig +++ b/home-mrconfig @@ -432,6 +432,7 @@ push = : diff = : log = : grep = : +isclean = : autoci = : # --- my personal documents. Override my global update command back @@ -483,6 +484,7 @@ diff = : log = : grep = : autoci = : +isclean = : skip = lazy # this is slower than other repos for which sync is defined, so have |